.a) x : formula_159 = formula_160 : formula_57