ゆっくり。
また備考がおもしろい

p.29

ランダムに選んだ非常に大きい数の素数性のテストで, Fermatテストをだます数に遭遇する確率は, 宇宙線が計算機の「正しい」アルゴリズムに誤りを生じさせる確率より小さい. アルゴリズムが前の理由から不適切であり, 後の理由からとしないのは, 数学と工学の違いを見せる.