theorem Th76: :: PREPOWER:76

for a, c being Real st a > 0 holds
a #R (- c) = 1 / (a #R c)