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