theorem Th85: :: PREPOWER:85

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