有理整数環ℤの商体は有理数体ℚである