El usuario Y descifra (usando formula_13) obteniendo el mensaje M, la identidad del origen y algo que sabe que es la firma del mensaje por el usuario.