theorem Th81: :: PREPOWER:81

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