A square under a dome≈ 1150
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.