用いる a comm上のprimitive base
Write 各整数 uniquely as a power のa non-perfect-power 整数 s>1 s>1s>1: a=sm a=s^m a=sm およびb=sn b=s^n b=sn. Equality の素数 factorizations におけるab2=ba a^{b^2}=b^a ab2=ba forces bases へagree. Comparing exponents gives ms2n=nsm m s^{2n}=n s^m ms2n=nsm.