Daca E mij lui BC si F mij lui AB rezulta ca EF este linie mijlocie de unde rezulta ca
EF||AG
EF=1/2 din AC => EF=AG
Din ultimele doua relatii rezulta ca EFAG este paralelogram.
Din faptul ca AB=AC rezulta si ca AF=AG de unde rezulta ca paralelogramul are doua laturi alaturate congruenete, de unde EFAG este ROMB.