theorem Th4: :: ENTROPY1:4

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