Deje $F$ ser un campo de característica $p$. Deje $f = (1 + x)^p \in F[x]$. Queremos mostrar que $f = 1 + x^p$.
Tomar la formal derivado: $f' = p(x+1)^{p-1} = 0$
Ahora sabemos que $f$ tiene el grado $p$, y su derivada es $0$, lo $f$ debe ser en la forma $A + Bx^p$ con $A$, $B \in F$.
$f(0) = 1$ $A = 1$.
Un producto de monic polinomios es siempre monic lo $B = 1$.
Q. E. D.
El "primer sueño" es un corolario de este hecho.
El hecho de que el coeficiente binomial $\binom p i$ es divisible por $p$ $1 \leq i \leq p-1$ es también un corolario.
El teorema del binomio de sí mismo puede ser demostrado mediante la toma de derivados de $(1 + x)^n$.
Fermat poco teorema fácilmente de la siguiente manera: $\left( \sum_{i=1}^n 1 \right)^p = \sum_{r=1}^n (1^p) = \sum_{r=1}^n 1$