theorem Th47: :: PREPOWER:47

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