theorem Th60: :: PREPOWER:60

for a being Real
for p being Rational st a >= 1 & p >= 0 holds
a #Q p >= 1