theorem Th74: :: PREPOWER:74

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