If a triangle ABC is congruent to triangle DEF, then
side BC is congruent to side DE
side AB is congruent to side DE
side AB is congruent to side FD
side CA is congruent to side DE