Two bisectors, one line≈ 1650
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.