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