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