Eine bestimmte Konstruktion dient dazu, einen rechten Winkel zu liefern. Euklid beweist, daß
217.
sie einen rechten Winkel gibt. Der praktische Wert dieses Beweises soll || sollte also eine Vorhersage sein.