Sean "k" el número natural y "m" el impar tales que "n" − 1 = 2 "m" y formula_1 un entero escogido aleatoriamente entre 2 y "n" − 2.