あまり美しくないなあ、、
たしか有理整数の場合は、構成的な証明の仕方もあったと思うけどな