Daca EF este bisectoarea lui E in ΔAEC ==>
Teorma bisectoarei: AF / FC = AE / CE
Il scoatem pe CE = (FC * AE) / AF (1)
Daca EG este bisectoarea lui E in ΔCEB ==>
Teorema bisectoarei: BG / CG = EB / EC
Il scoatem pe CE = (EB * CG) / BG
Dar EB = AE ==> CE = (AE * CG) / BG (2)
Egalam (1) si (2)
(AE * CG) / BG = (AE * FC) / AF
Impartim prin AE: CG / BG = FC / AF
Din reciproca teoremei lui Thales ==> FG || AB