Al reducir la secuencia "a", 2"a", ..., (p − 1)"a" módulo "p", obtendremos la secuencia 1, 2, ..., "p" − 1, pero en distinto orden, en definitiva, una biyección.