Pai in triunghiul DAB se poate folosi teorema bisectoarei:
BE/AE=BD/AD
Dar cum BD=DC rezulta ca:BE/AE=DC/AD
In triunghiul ACD tot teorema bisectoarei:
FC/AF=DC/AD
Rezulta din amandoua relatii ca:BE/AE=FC/AF REZULTA PRIN RECIPROCA TEOREMEI LUI Thales in triunghiul ABC,EF PARALEL CU BC
Cum BC inclus in planul BCD rezulta ca EF paralel cu planul BCD