Para empezar, ninguno de los términos "a", 2"a", ..., (p − 1)"a" puede ser cero módulo p, ya que si "k" es uno de los números 1, 2, ..., "p" − 1, entonces "k" no es divisible por "p", y tampoco