>>860
a^log[c](b)=(c^log[c](a))^log[c](b)
=c^{(log[c](a))*(log[c](b))}
=c^{(log[c](b))*(log[c](a))}
=(c^log[c](b))^log[c](a)
=b^log[c](a)