>>891
前半 : 見事すぎる証明ありがとうございます
なんとなく円周の中心の集積点を使うと思ってたけどZorn使えばいいのか

後半 : なるほど、面白スレでの出題者だったか
失礼しました