素数判定関数