Ферма мала теорема, одна з основних теорем теорії чисел, що полягає в тому, що якщо р – просте число і а – ціле число, що не ділиться на р, те а p-1 – 1 ділиться на р, тобто а p-1 º1(mod p ) . Теорему висловив без доказу П. Ферма, перший доказ дав Л. Ейлер .