Como você prova que o axioma \axiom{P}{2} é indispensável para provar o Lema da transversal?
