The elements of such a plane (and the distance relations between them) can also be represented mathematically, namely as a 2-manifold.
... immediate contradiction [ P(0) & not P(0] with P(0) - rule 
From the definition of m', P(m'-1), hence by  P(m'). This also gives a contradiction ...
| Costumes Australia
Kids.Net.Au - kids safe portal for children, parents, schools and