Claude Gaspard Bachet (sieur de Méziriac) (1624). Problèmes plaisants & délectables qui se font par les nombres (ấn bản thứ 2). Lyons, France: Pierre Rigaud & Associates. tr. 18–33. Trong bài báo này, Bachet chứng minh (không có công thức) "Proposition XVIII. Deux nombres premiers entre eux estant donnez, treuver le moindre multiple de chascun d'iceux, surpassant de l'unité un multiple de l'autre." (Cho hai số nguyên tố cùng nhau, tìm bội nhỏ nhất của từng số nhân với một số mà hiệu của 2 bội này bằng 1. Bài toán này (a*x - b*y = 1) là trường hợp đặc biệt của phương trình Bézout và được Bachet dùng để chứng minh các bài toán trong trang 199 ff.