Why the helper is true

The primes of a² are exactly the primes of a, each appearing twice. By uniqueness there are no others. So if p shows up in a², it was one of a's primes all along.