∵OE∥CD ∴∠EOD＝∠ODC﹙两直线平行内错角相等﹚
∵OF∥BC ∴∠EOD＝∠FEO﹙两直线平行内错角相等﹚
∴∠ODC＝∠FEO﹙等量代换﹚
∴EF∥BD﹙同位角相等两直线平行﹚