Ducem DM || AF și pentru că D este mijlocul lui AC ⇒
⇒ M este mijlocul lui FC, deci MF = MC (1)
DM || AF ⇒ AF || DM ⇒ EF || DM și pentru că E este mijlocul lui BD ⇒
⇒ F este mijlocul lui BM, deci MF = BF (2)
(1), (2) ⇒ BF = MF = MC = (1/3)BC
