A diagonal in a cyclic quadrilateral≈ 750
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.