Man könnte das auch so sagen: der völlig analysierte mathematische Satz ist sein eigener Beweis.
     Oder auch so: der mathematische Satz ist nur die sofort sichtbare Oberfläche des ganzen Beweiskörpers der hinter der Fläche liegt. || den sie vorne begrenzt.
     Der sogenannte mathematische Satz ist – im Gegensatz zu einem eigentlichen Satz – wesentlich das letzte Glied einer Demonstration die ihn als richtig oder unrichtig sichtbar macht.