theorem Th48: :: PREPOWER:48

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