====== Matematyka ======

=== Małe twierdzenie Fermata (matematyka modularna) ===
-----
//p// - jest liczbą pierwszą => dla dowolnej liczby całkowitej //a//, liczba // $a^p − a$ // jest podzielna przez //p//

// $a^p - a ≡ 0 (mod p)$ //

// $a^p ≡ a (mod p)$ //

**inaczej**

//p// - jest liczbą pierwszą, a //a// jest liczbą całkowitą, względnie pierwszą z //p// => // $a^{p-1}$ // jest podzielna przez //p//

// $a^{p-1} - 1 ≡ 0 (mod p)$ //

// $a^{p-1} ≡ 1 (mod p)$ //

{{tag>[math]}}