Which statement is equivalent to Fermat's Little Theorem with all of the quantifiers written more explicitly?
1) For every prime number p and every integer a, aᵖ - a is divisible by p.
2) For every prime number p and every integer a, aᵖ + a is divisible by p.
3) For every prime number p and every integer a, aᵖ - a is not divisible by p.
4) For every prime number p and every integer a, aᵖ + a is not divisible by p.