以下であると言えるのか、その証明をします。定理を再度述べると次の通りです。以上の奇数の合成数とする。表されているものとする。3つのケースにわけて証明します。以降の証明は、後藤・鈴木(首都大学東京)「Miller-Rabin素数判定法における誤り確率の上限」を参考にしました。\(n=p^2t\:\:(p\)は奇素数。奇素数の2乗で割り切れるときです。「平方因子」をもつ、と言います。現れてもかまいません。