Một đội công nhân đang trồng cây trên đoạn đường AB thì gặp chướng ngại vật
Giải thích
Tứ giác BCDE có:
BC // DE (vì cùng vuông góc với CD);
BC = DE
nên BCDE là hình bình hành ⇒ CD // BE.
Lại có : 
⇒ AB // CD
⇒ EF // CD
Theo tiên đề Ơ-clit suy ra A, B, E, F thẳng hàng.