Prove that if parallel lines are crossed by a transversal, then the alternate interior angles are congruent. That is, use rigid transformations to map ∠CFG onto ∠BCF. Explain.