En otras palabras, 1 y "p" − 1 son cada uno su propio inverso, pero para cualquier otro elemento de "G" hay un inverso, también en "G", así que si tomamos todos los elementos de "G" por parejas y los multiplicamos todos ellos juntos, el producto será igual a −1 ("módulo p").