theorem :: POWER:51

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