使用 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.