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