DGP の外接円に対する接線弦定理と E,D,M の共線性から angle DGP=angle EDP である。P が G と BC の同じ側なら angle EDP+angle ABP=180 度となり、反対側でも有向角を使えば同じ円周性が得られる。