la_20也要出现formula_19的子集，方可证明formula_18。
概括.不可简化的分数的概念可推论任何唯一分解整环之分式环：透过划分分子和分母的最大公因数，这一项元素的领域中可被写出它们的分数。特别适用越过其他领域的代数式。然而不可简化的分数在给定元素上，既使是同样的可逆元素，也是唯一较多人使用分子和分母的乘法。在有理数的情况下意旨任何数字具有两个最简分数，若跟分子和分母的正负号有关；在这种模煳的情况下可透过要求分母要被移除负号。在合理的功能的情况下，分母可以类似地被要求