donde formula_8 es el "i"-ésimo bit del mensaje y formula_9, calcular