theorem Th39: :: PREPOWER:39

for a being Real
for k being Integer st a > 0 holds
a #Z k > 0