如图①，我们想要证明“如果直线AB，CD被直线EF所截，AB∥CD，那么∠EOB=∠EO'D．”如图②，假设∠EOB≠∠EO'D，过点O作直线A'B'，使∠EOB'=∠EO'D，可得A'B'∥CD．这样过点O就有两条直线AB，A'B’都平行于直线CD，这与基本事实““矛盾，说明∠EOB≠∠EO'D的假设是不对的，于是有∠EOB=∠EO'D．