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 begrenzt.
     Der mathematische Satz ist – im Gegensatz zu einem eigentlichen Satze – wesentlich das letzte Glied einer Demonstration, die ihn als richtig oder unrichtig sichtbar macht.