donde formula_10 es la clave privada que solo Alicia conoce.