Sia $p$ un numero primo. Siano $a,b$ due numeri interi in $\Z$. Allora vale la suguente identità:
$$ (a+b)^p \equiv a^p+b^p \ (\text{mod }m ) $$