theorem Th54: :: PREPOWER:54

for a being Real
for p being Rational st a > 0 holds
1 / (a #Q p) = a #Q (- p)