着formula_18，因此等号的双边必须共享相同的因式分解，设主要多重的因数formula_19，而formula_20也要出现formula_19的子集，方可证明formula_18。
概括.不可简化的分数的概念可推论任何唯一分解整环之分式环：透过划分分子和分母的最大公因数，这一项元素的领域中可被写出它们的分数。特别适用越过其他领域的代数式。然而不可简化的分数在给定元素上，既使是同样的可逆元素，也是唯一较多人使用分子和分母的乘法。在有理数的情况下意旨任何数字具有两个最简分数，若跟