소수 판정 (1)