for a, b, c being positive Real
for n being Nat st (a ^2) + (b ^2) = c ^2 & n >= 3 holds
(a |^ (n + 2)) + (b |^ (n + 2)) < c |^ (n + 2)