Proving Parallel Lines and Congruent Angles