设k=log(a)(M^n)
则a^k=M^n
两边开n次方得到
a^(k/n)=M
于是
k/n=log(a)M
k=nlog(a)M=右
所以命题成立