ula_62。特别来说，如果formula_59互质（不是两两互质），那么存在多项式formula_61使得formula_65。对于两个多项式的情况，与整数时一样可以得到通解。
任意主理想环上的情况.裴蜀可以推广到任意的主理想环上。设环formula_66是主理想环，formula_1和formula_2为环中元素，formula_10是它们的一个最大公约元，那么存在环中元素formula_4和formula_5使得：formula_72这是因为在主理想环中，formu