If a series of rigid transformations maps angle E onto angleB where angleE is congruent to angleB, then which of the following statements is true?
O AABC - AFDE because of the definition of similarity in terms of similarity transformations
O DE - AB because corresponding parts of similar triangles are proportional
O AABC - AFDE because of the AA similarity postulate
O DE - AB because of the definition of similarity in terms of similarity transformations