Proof 7.7
From the projective geometry axioms, prove that two distinct lines have exactly one point in common.
Proof{By Contradiction}: Assume that two distinct lines, and , exist and let them meet at two points and . From Projective Axiom 2, we know that and share exactly one line. However, this goes against our assumption that two distinct lines exist. Therefore, by contradiction, we know that two distinct lines have exactly one point in common.