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

ΔABC ~ ΔDEF because of the definition of similarity in terms of similarity transformations
segment BC ~ segment DE because of the AA similarity postulate
ΔABC ~ ΔDEF because of the AA similarity postulate
segment BC ~ segment DE because of the definition of similarity in terms of similarity transformations