これを2で割れるだけ割る。1547ここで商が奇数になって、もうこれ以上2では割れない。そのもので、となりあう項は次々と2倍、2倍の関係になってる。212376は、指数(肩の数)が2倍2倍に増えていく列なので、全体としては前の数の2乗が次の数になっている。なるような数でなければならない。この推測は、ある意味で正しく、ある意味で正しくない。詳しく考える前にとりあえず実際の数値例で調べてみよう。1と合同であることが分かった。最初の-1を二乗すると1、あとは何度二乗しても1の二乗は1、という関係になっている。312376で同じ実験をしてみる。なる数」だが、さしあたって、この数には興味ない。乗して初めて≡1になる。なっている場合は「一個手前」がそもそも存在しないので、例外。なるか、のいずれかだ。以下でこのことをきちんと証明しよう。このことは本当は一般には正しくない。8)であって、±1以外の数(ここでは3)を二乗したら≡1ということが実際ありうる。ミラーテストはむしろこのことを逆用する。素数であり得ない、と判定できる。合成数の場合とは異なる特別な構造を持っている。割り切れるということだ。