A line across the triangle≈ 1400
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.