A tangent and a secant≈ 1000
Każdy udowodniony krok trafia tutaj, razem z narzędziem, które go dowodzi.