theorem :: POWER:58

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