Proving Lines Are Parallel