Proof. Lemma: If
is prime, then for all
,
Proof by induction on
.
If
,
.
Suppose that this property is true for
(
):
Then, as
, we know that
, thus from Pascal’s formula,
which concludes the induction.
If
,
is irreducible. Suppose now that
is an odd prime.
Applying the lemma, we obtain
since every coefficient
is divisible by
, of the form
.
Consequently
Moreover
. By Exercise 2,
is irreducible. □