Proving Lines Are Parallel Geometry