theorem Th83: :: PREPOWER:83

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