Let en(a^k) = i and en(a) = j. Thus, and it is the least positive exponent. We therefore want, , this happens if and only if . Let . Therefore, . But so for this fraction to be a whole number we require to divide . The smallest such is therefore, . Which is what you wanted to prove.