Man sagt auch: der mathematische Satz ist (nur) das letzte Glied einer Beweiskette.