>>375
全然そうではないのです。ⅠとⅡの仮定は簡単に書けば(p+1)/2に複数の素数がある場合
の検討なんですけれども、それと別証明の証明をこの証明の中に記述しているということです。