has only the positive integer solution z = 2,x = 1 by Bennett[[1], Theorem 1.5], which states that the equation a x − b y = 12 has at most one solution in positive integers x, y.
มีเฉพาะจำนวนเต็มบวกแก้ปัญหา Z = 2 x = 1 โดยเบนเน็ตต์ [ [ 1 ] ทฤษฎีบท 1.5 ] ซึ่งระบุว่า สมการเป็น x y b = − 12 มีมากที่สุดหนึ่งในโซลูชั่นบวกจำนวนเต็ม x , Y