>>454
で、証明では、Ⅰ「(p+1)/2が素数になる場合」とⅡ「合成数になる場合」を確かに場合分けしているが、Ⅱで「Ⅰと同様に」と言っているのだから、ⅠはⅠだけで完結していなければならない。
Ⅰの場合を証明するのにⅡの証明が必要なのだったら、Ⅱの証明はⅠに依存してはならない。そうでなければ全体として循環論法であり、証明したことにはならない。