Line d intersects the sides of triangle ABC in . Then

Proof Let us consider G the point in which parallel by B at AC intersects EF.

is similar to

Also similar to

Then we have

which can be written