定理 (Leitner, 2011) 方程式の非負整数解はまたはのみである。証明. まず、の場合を考える。であれば となり、が従う。のときもで。ならとなって、大きさを考えれば。よって、以下 と仮定してよい。さて、を満たすであって −①が成り立つようなものがしかな…