rmula_47，其中 formula_48。
加法逆元.我们定义负号（加法逆元）为 formula_49，其中 formula_50。可以验证这两个运算构成了（真类上的）阿贝尔群。
乘法.我们定义乘法运算为formula_51，其中 formula_52。
乘法逆元.我们定义（正数的）乘法逆元为formula_53，这样除法就是 formula_54。我们可以发现这个定义是递归的，但是实际上这个数字是良定义的：我们取form