for a being positive non weightless Real
for b being positive Real holds
( log (a,b) = 1 iff a = b )