>>253
三つの円の二円ずつの交点の六点をとると
六点のうちどの五点をとってもそのうち四点が同一円周上にあるけど
六点のうち五点が同一円周上にあるとはいえないので
証明には九点というのを使う必要がある。