[jcranmer]

If p is a prime number, then the product m×n being divisible by p means that either m or n is divisible by p. In fact, this is how prime numbers are defined when generalized to generic integral domains.

[blu42]

Doh, my reading balked at the embedded add. Yes, p being a prime actually inverts the statement successfully. My bad.