theorem :: POLYEQ_4:24

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