If triangle abc is congruent to triangle def which statement must be true