素数の判定に他の素数との割り算を必要としないアルゴリズム?