In: Advanced Math
A projective plane is a plane (S,L ) satisfying the following four axioms. P1. For any two distinct points P and Q there is one and only one line containing P and Q. P2. For any two distinct lines l and m there exists one and only one point P belonging to l∩m. P3. There exist three noncollinear points. P4. Every line contains at least three points.
Let π be a projective plane. Using P1 − P4, show that π contains two distinct lines l and m and a point P such that P does not lie on l or m.