noun Mathematics. the theorem that an integer raised to a prime power leaves the same remainder as the integer itself when divided by the prime.