有理整数環の素数とは言ってない