Question 408709
If we have {{{log(a, x)}}}, then


{{{a^(log(a, x)) = x}}}.