How do you show #x^(log y) = y^(log x)#?