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 unmittelbar sichtbare Oberfläche des ganzen Beweiskörpers, den sie vorne bekränzt.
       Der mathematische Satz ist – im Gegensatz zu einem eigentlichen Satze – wesentlich das letzte Glied einer Demonstration, die ihn als richtig oder unrichtig sichtbar macht.

✓ /? –