If a series of rigid transformations maps ∠F onto ∠C where ∠F is congruent to ∠C, then which of the following statements is true?

triangles ABC and FDE, in which angles A and D are right angles

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 similar