Prove o Teorema \ref{teo:4points6lines}.
É impossível provar que existem mais de 4 pontos e mais de 6 retas?
