作《有关整数的令人快乐与惬意的问题集》（"Problèmes plaisants et délectables qui se font par les nombres"）第二版中给出了问题的描述和证明。然而，裴蜀推广了梅齐里亚克的结论，特别是探讨了多项式中的裴蜀等式，并给出了相应的定理和证明。
整数中的裴蜀定理.对任意两个整数formula_1、formula_2，设formula_10是它们的最大公约数。那么关于未知数formula_4和formula_5的线性丢番图方程（称