so based on what is given they are congruent. If you rotate <DEF till it matches <ABC you will see they are the same size.