A prime number p has exactly two distinct positive divisors, 1 and p itself. If p is a prime number and divides a product ab, then p must divide at least one of a or b.