Proving Two Lines Are Parallel