theorem :: POLYEQ_4:25

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