Three lines through one point≈ 1350
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.