I don't know what you mean on the top there (what is a?), but yes, this is what all the other proofs are driving at in more or less lengthy ways... It is merely a matter of comparing prime factorizations.
This method of proof generalizes neatly to the n'th root case. Comparing the exponents of the primes in the respective factorizations will yield the wanted contradiction.