theorem Th97: :: NUMBER08:97

for n being Nat st n |^ 3 <= 98 holds
n <= 4