AB∥DE,
∠DER=∠NMR
同位角相等
CD∥AF
∠AFM=∠MRN
∠1=∠AMF+∠AFM=∠NMR+∠MRN
∠4=∠MRN+∠DER=∠MRN+∠NMR
三角形外角等于不相邻的二个内角和
∠1=∠4