ABABAB について、ABABAB と CA,CBCA,CBCA,CB の延長に接する大きい球の断面は、CSCSCS の延長にも接する同じ球の断面である。この大円と内接円は接線 ABABAB を共有するので、ABABAB 上の接点は一致し、∣APAB∣=∣BPAB∣|AP_{AB}|=|BP_{AB}|∣APAB∣=∣BPAB∣。BCBCBC と CACACA でも同じ議論から残り2つの等式を得る。