The Integers Modulo p Form a Field - Expii

Every nonzero residue modulo p is invertible. In abstract algebra lingo, we say the ring of integers modulo p is a field—a fundamental fact in modern algebra.