先の角関係から四角形 PBDE は円周上にあり、P は三角形 BDE の外接円 Gamma' 上にある。特別な接触の場合 P=B も、Gamma' が B で Gamma に内接接触すると解釈すれば含まれる。