Assume the following axioms are satisfied...

1) For every two distinct points, there is a unique line containing both points.
2) every two distinct lines have a unique point in