Question 438907
{{{9^(log(9,x)) = x}}} by exponential-logarithmic inversion.