A half circle in a box≈ 550
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.