Forcément oui. Car on va calculer OA/OC et OD/OF en utilisant au passage les rapports:
OA/OE et OE/OC dont le produit est égal à OA/OC
OD/OB et OB/OF dont le produit est égal à OD/OF
or OA/OE=OB/OF par hypothese AB//EF
et OE/OC=OD/OB par hypothése EC//DB
CQFD
