theorem Th79: :: PREPOWER:79

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