“Aber daß 25 × 25 = 625 ist etwas, was wir vor dem Ausführen der Mult. nicht wußten.” – K[a|ö]nnte ich nicht auch sagen: dieser Satz ist einer, dessen Beweis wir vorher nicht kannten.