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