Problem assets/theorems/numbertheory/flt.tex

\begin{bluebox}{Małe Twierdzenie Fermata}
    \begin{theorem}[Małe Twierdzenie Fermata]
        Niech $ p $ będzie liczbą pierwszą, a $ a $ liczbą całkowitą taką, że $ p \nmid a $.  
        Wówczas zachodzi:
        $$
        a^{p-1} \equiv 1 \pmod{p}.
        $$
    \end{theorem}
\end{bluebox}