Prove que o axioma \axiom{P}{2} é indispensável para provar a Propriedade transitiva de paralelismo,
mesmo com a presença do axioma \axiom{P}{1}.
