6.MN paralela BC
AB secanta unghiul ABC congr cu unghiul ANM ca si ungh corespondente, analog cu secanta AC AMN congr cu ACB coresp.
7. EF bisectoare rezulta unghiul FCE congr cu unghiul ECB,
EF paralel cu BC , CE sec, rezulta unghiul ECB congr cu unghiul CEF (alt. int) , rezulta unghiul ECFcongr cu unghiul CEF rezulta EFC isoscel.