Let and be two parallel lines in . Prove that or .
Proof. Assume . Suppose that the intersection is not empty, so that there exists a point and . Then, we know there exist such that
But then
But, by Theorem 13.2, this means , contradicting our assumption. Hence, either or the intersection is empty