⁵ Informally: to prove this, show that if p is a prime, then there are no zero divisors, since the prime has no divisors other than itself and 1.