対角の和が π\piπ になることは、四角形が円に内接するための条件である。
上の二角の和は π\piπ なので、この区間を通じて X,Y,B,ZX,Y,B,ZX,Y,B,Z は同一円周上にある。合同性から XY=XZXY=XZXY=XZ であり、等しい弦 XYXYXY と XZXZXZ は BBB で等しい角を張る。