Der math. Satz steht auf vier Füßen, nicht auf
dreien; er ist überbestimmt.