Oletetaan, että
on alkuluku ja
rengas, jossa on
alkiota. Osoita, että
on kunta.