theorem :: NEWTON02:54

for a, b, n being Nat st a > b & a + b >= 2 |^ (n + 1) holds
a > 2 |^ n