Leon drew Triangle ABC and Triangle DEF so that Angle A is congruent to Angle D, Andgle B is Congruent to Angle E, AB = 4, and DE = 8. Are Triangle ABC and Triangle DEF similar? If so, identify the similarity postulate or theorem that applies.