Sea formula_3 el conjunto de todas las posibles claves (teóricamente es infinito aunque en la práctica es finito),