ａ、ｂ を、（素数とは限らないが）互いに素だとする。
　　ａｘ＋ｂｙ＝１
を満たす整数 ｘ，ｙ が存在する。
　　１＝（ａｘ＋ｂｙ）²
　　　＝ａ²ｘ²＋ｂ²ｙ²＋２ｘｙａ
　　　＝（ｘ²ａ＋ｙ²ｂ）（ａ＋ｂ）−（ｘ−ｙ）²ａｂ