結婚祝いに30,001円包もうと思うんだけど、30,001円が素数なのって誰か証明した?