 Prove o Teorema \ref{teo:point.m.lines}. 
 Sejam $k$ é o número de pontos de uma reta; 
 $m$ o número de retas que passam por um dado ponto; 
 e $n$ o número total de pontos.
 Você não acha surpreendente que os cinco axiomas impliquem
 as fórmulas dadas nas proposições seguintes? 
 Antes de tentar prová-las, 
 teste-as nos modelos que você conhece. 
