Bisector meets altitude≈ 750
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.