この人は円の定理のことを言ってるんじゃない?