ables qui se font par les nombres"）第二版中给出了问题的描述和证明。然而，裴蜀推广了梅齐里亚克的结论，特别是探讨了多项式中的裴蜀等式，并给出了相应的定理和证明。
整数中的裴蜀定理.对任意两个整数formula_1、formula_2，设formula_10是它们的最大公约数。那么关于未知数formula_4和formula_5的线性丢番图方程（称为裴蜀等式）：有整数解formula_27 当且仅当"formula_3"是formula_10