Proving Lines are Parallel