theorem Th86: :: PREPOWER:86

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