A line across the triangle≈ 1400
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.