Wenn ein Beweis den Satz rechtfertigt, so muß er die Anwendung des Satzes rechtfertigen.