AB//CD,所以∠A=∠DCO (二直线平行,同位角相等)
∠1=∠A,所以∠DCO=∠1 (结合上式)
又∠1=∠EGO (对顶角相等)
所以∠DCO=∠EGO
所以EF//CD.(内错角相等,二直线平行)