theorem :: NEWTON01:28

for a, b, n being Nat st n > 1 & b > 0 & a > b holds
((a |^ n) - (b |^ n)) * (a + b) > (a |^ (n + 1)) - (b |^ (n + 1))