theorem :: NEWTON01:44

for a, b, c, x being Nat st x > 0 & b < c & a + (b |^ 2) = c |^ 2 holds
a + ((b + x) |^ 2) < (c + x) |^ 2