ℤ/(5)ℤ* = {1, 2, 3, 4} que es el número mínimo de elementos que tiene que tener el grupo ℤ/nℤ* para permitir la existencia de elementos inversos.