theorem Th62: :: PREPOWER:62

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