N. PALUGA, R. . Equivalence of Proof Techniques. TMF 2024, 14, 81-86.