theorem Th10: :: PRE_FF:10

for a, b, c being Real st a > 1 & b > 0 & c >= b holds
log (a,c) >= log (a,b)