Sean formula_11 y formula_12 los valores secretos de Alice y Bob respectivamente, con formula_15.