Two bisectors, one line≈ 1650
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.