theorem Th87: :: PREPOWER:87

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