连结op
△oen与△omf中有公共角AOB还有on=of,om=oe
∴△oen≌△omf（sas）
∴∠one=∠ofm
△mnp和△efp中有∠one=∠ofm,∠mpn=∠epf,mn=ef（on-om=of-oe）
∴△mnp≌△efp（aas）
∴np=fp
∴△onp和△ofp中on=of,np=fp,∠one=∠ofm
∴△onp≌△ofp（sas）
∴∠nop=∠fop
原命题得证