If a series of rigid transformations maps ∠f onto ∠c where ∠f is congruent to ∠c, then which of the following statements is true?
A) △abc ~ △fde because of the definition of similarity in terms of similarity transformations
B) △abc ~ △fde because of the AA similarity postulate
C) Segment bc ~ segment ef because of the definition of similarity in terms of similarity transformations
D) Segment bc ~ segment ef because corresponding parts of similar triangles are proportional