theorem Th82: :: PREPOWER:82

for a, b, c being Real st a >= 1 & c >= b holds
a #R c >= a #R b