A rhombus in a rectangle≈ 1050
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.