In number theory, Euler's totient theorem (also known as the Fermat–Euler theorem) states that if "n" and "a" are coprime, (meaning that the only number that divides "n" and "a" is 1), then the following equivalence relation holds: