\textbf{Lema da transversal.}
\input{02/LT}
Prove. Observe que você não usa \axiom{P}{1}, mas usa \axiom{P}{2} na demonstração.