Cho phép tính a.b \(\left(a,b\in Z;a=b\right)\)và a,b cùng dấu
Chứng minh rằng: Nếu thêm vào a 1 đơn vị (hoặc bớt 1 đơn vị) và bớt b 1 đơn vị (hoặc thêm 1 đơn vị), ta sẽ có tích sau nhỏ hơn tích trước 1 đơn vị. (Nói một cách dễ hiểu là chứng minh rằng (a + 1)(b - 1) hoặc (a - 1)(b + 1) nhỏ hơn (a.b) 1 đơn vị)