The document examines corresponding angles ∠1 and ∠5 that are shown not to be congruent in a diagram. It describes tilting line m until the angles become congruent, at which point the lines can be seen to be parallel. It then states the theorem that if two lines are cut by a transversal such that the corresponding angles are congruent, then the lines are parallel. This is the converse of the postulate that parallel lines cut by a transversal form congruent corresponding angles.