theorem Th84: :: PREPOWER:84

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