소수의 발견 사칙연산