Der math. Satz steht nie auf 3 Füßen sondern auf vieren. Er ist sozusagen überbestimmt im Vergleich mit einem Erfahrungssatz.