NP에 속하려면 verification이 쉬워야 하는데

소수 판별 문제는 verification도 어렵자나?

근데 왜 NP에 속해?