Im Fall des Beweises von 25 × 25 = 625 sage ich, vielleicht habe ich mich geirrt & 25 × 25 ist nicht 625.
Aber im Falle des Beweises von (n)f(n) in ‒ ‒ ‒.