T=PQ∩RST=PQ\cap RST=PQ∩RS とおく。P,Q,R,SP,Q,R,SP,Q,R,S は同じ円 CCC 上にあるので、二つの割線の定理から TP⋅TQ=TR⋅TSTP\cdot TQ=TR\cdot TSTP⋅TQ=TR⋅TS である。直線が平行でないため TTT は有限で、CCC の外部にある。