mientras que la fórmula del descifrado es: