3.2.4, due on October 21

On theorem 3.2.4.1 I don't understand why showing that the product is also a sum of four squares means that we only need to prove the theorem for primes. What went on in between here? It's awesome that it somehow means we only need to prove it for primes, at least I thought it would be, but the proof gets crazy after that!