整数環も整域であり, 分数化の資格あり.