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