Where the tangent meets a chord≈ 800
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.