Giả sử a,b thuộc Z sao cho [(a+b)^2+a+b][/ab] thuộc Z. Gọi d là ước chung bất kì của a,b. Chứng minh rằng: d \leq [sqr(a+b)]