Example

Suppose a = bc, where a, b, c are natural numbers. The following is well known.

If a is even, then so is at least one of b, c.

It is one implication in the special case p=2 of the theorem.