AT は RB に平行で、R,K,B は共線なので、表示した連鎖の最初の二角は等しい。円に内接する TBKS より、次の等式は両角が同じ弦 TB を見込むことから従う。最後は A,S,B の共線性による。