A tangent at the apex≈ 900
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.