 Basta mostrar que o \axiom{P}{2} da transversal
 não é válido num modelo satisfazendo os outros axiomas, 
 mas que não satisfaz \axiom{P}{2}. 
 [Por que? Porque se o lema da transversal fosse um teorema provado a partir dos outros quatro axiomas, 
 então ele seria válido em qualquer modelo que satisfizesse aqueles axiomas.]
 No modelo dado no 
 \hyperref[item:02:L02:1:e]{Exercício 2 (e)},
 as retas $\{A\}$ e $\{B\}$ são paralelas; 
 a reta $\{B, C\}$ corta a reta $\{B\}$ 
 mas não corta a reta $\{A\}$. 
 Logo, o Lema da transversal não vale neste modelo. 