Proving parallel lines using congruent angles