Suppose p is prime. Assume that p | bc. If p | b we are done. If p is not a divisor of b, then p and b have no common divisors > 1 and we can apply the proposition.

Assume that p is not prime, but p = bc, for some b, c > 1. Then p divides the product bc, but it does not divide b or c.