we have (2) with Al in place of A and Bl in place of B. Reasoning as above, we find that unless Al = 1, there is a prime p2 dividing σ(Bl) to a higher power than that to which it divides 2Bl. Again, for definiteness, let p2 be the least such prime.
Then pe2 I Al for some e2 ≥ 1