theorem Th61: :: PREPOWER:61

for a being Real
for p being Rational st a >= 1 & p <= 0 holds
a #Q p <= 1