theorem Th2: :: COUSIN:3

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