Two right angles, one circle≈ 1250
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.