A es compatible con B si formula_2