Todos los elementos en el producto anterior serán de la forma "g g"  ≡ 1 (mod "p") excepto 1 ("p" − 1), que están al principio del producto.