theorem Th24: :: WSIERP_1:24

for a, b being Nat st ex q being Rational st a = q |^ b holds
ex k being Integer st a = k |^ b