(数学)合同式の有理数表示

合同式を使った有理数表示が代数系として体となっているかを確認します。