Proof by Natural Deduction of Peirce's Law

Prova por Dedução Natural da Lei de Peirce