Daca [tex] \frac{AE}{EB} = \frac{AF}{FC} [/tex] atunci EF || BC, dar cum rapoartele nu sunt egale, iar printr-un punct E esterior dreptei BC se duce o paralela si numai una (care ar determina pe AB si AC segmmentele proportionale descrise mai sus), inseamna ca EF si BC sunt concurente (se intalnesc intr-un punct).