theorem Th87: :: NUMBER15:87

for a being Real
for n, x, y being positive Nat st a > 0 & 2 <= n & (x |^ n) - (y |^ n) = a holds
( x < (n - 1) -Root a & y < (n - 1) -Root a )