Dacă într-un patrulater convex două laturi opuse sunt paralele și congruente, atunci patrulaterul este paralelogram.
BDEC
DEIIBC si DE=AD+BC => BDEC paralelogram
=> DB II EC
BDCF
DCIIBF si DC=AB=BF => BDCF paralelogram
=> DB II CF
DB II EC si DB II CF => DB II EF
=> E; C; F sunt coliniare
