Given: BC || EF, segment AB congruent to segment DE, angle C congruent to angle F
Prove: triangle ABC congruent to triangle DEF
