The following proposition provides a basis for testing if an integer is a prime number. By contraposition to the corollary, if $a^{p-1}(p)\not\equiv 1(p)$ for some integer $a$ with $p\not\mid a,$ then $p$ is not a prime number. It, therefore, suffices to find any number $a$ with $p\not\mid a$ to prove that $p$ is not prime. On the other hand, to prove that $p$ is prime, we need to show that $a^{p}(p)\equiv 1(p)$ for all integers $a$ with $1 < a < p.$ Therefore, this kind of prooving the primality of $p$ is not efficient, if $p$ is big. Later, we will learn about more efficient proofs of primality than this one.

# Proposition: A Necessary Condition for an Integer to be Prime

For any integer $a\in\mathbb Z$ and any prime number $p$ the following congruence holds:

$$a^p\equiv a(p).$$

If $p\not\mid a$ ($p$ does not divide $a$) then $$a^{p-1}(p)\equiv 1(p).$$

Proofs: 1

Proofs: 1 2
Propositions: 3

Github: ### References

#### Bibliography

1. Landau, Edmund: "Vorlesungen über Zahlentheorie, Aus der Elementaren Zahlentheorie", S. Hirzel, Leipzig, 1927