Der Beweis eines Satzes erwähnt ja nicht, beschreibt ja nicht, das ganze Rechnungssystem das hinter dem Satz steht & ihm seinen Sinn gibt.