formula_4 es el cifrado con la clave formula_5 formula_6 y formula_7 son el texto plano y el texto cifrado respectivamente.