>>607
どういう意味でしょうか？

>>610
条件を加えて二十仮定になるということはない。553に書いたことの繰り返しだが
全ての解は、互いに素である解の整数倍になっている。そうであるから、解の集合は
互いに素である解で区別を行える集合の集まりであるということになる。この解の
集合には、必ずその解の集合を他の解の集合と区別をすることができる互いに素で
ある解が存在する。逆に互いに素でない解を持たない解の集合は存在しない。
よって、解の非存在を証明する場合には、互いに素である解のみを考慮すればいい
ということになる。これは、解を互いに素である解だけに限定することを前提と
するということであり、仮定を行ったものではない。