theorem :: POWER:52

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