Esto último se traduce en que formula_5 tenga un factor primo grande (lo que hace que el problema del logaritmo discreto sea difícil).