Our initial assumption was that p and q are coprime, not that p itself is prime. The assumption allows for p and q to be composite (not prime)! To be coprime with another number is different from being prime! For instance, 10 is coprime with 33 since they don't share any factors other than 1. However, neither is prime!