Formalmente A tiene una riqueza de formula_1, B tiene una riqueza de formula_2, y se quiere determinar si es verdad que formula_3 sin revelar los valores de formula_1 o formula_2.