特别来说，如果formula_47互质（不是两两互质），那么存在整数formula_50 使得 formula_54。
多项式环formula_55里的贝祖定理.formula_56为域时，对于多项式环formula_55里的多项式，裴蜀定理也成立。设有一族formula_58里的多项式formula_59。设formula_60为它们的最大公约式（首项系数为1且次数最高者），那么存在多项式formula_61使得formula_62。特别来说，如果formula_59互质（不是两