Theorem: Lines in a Plane
For every two distinct straight lines which lie in the same plane there are two possibilities:
The lines intersect in a single point.
The lines do not intersect.
PROOF
TODO
Definition: Parallel Lines
Two straight lines are parallel if they lie in the same plane but do not intersect.