素数判定 (強) | アルゴ式(beta)