Wenn ich drei Sätze von den Formen α, β, γ bewiesen habe, dann sage ich ich habe fc = φc bewiesen. Welches weiter nichts ist als eine Definition
(Erklärung) des Ausdrucks „φc = fc beweisen”.