Euler's theorem is a fundamental theorem in number theory that establishes a relationship between the Euler's totient function and modular arithmetic. It states that if a and n are coprime, then a^φ(n) ≡ 1 mod n, where φ(n) is the Euler's totient function.