theorem :: COMPLEX3:115

for a, b being positive Real st a > b holds
log ((a / b),a) > log ((a / b),b)