(a) Suppose L is a first-order structure which contains a unary function symbol f. Show that the L-formula (Vx)(Vy)(x = y + f(x) = f(y)) is universally valid. (b) Prove that if an L-formula A is universally valid then so is B A, for every L-formula B