>>483
全ての合成数であるpに対してアルゴリズムは成立する