verify the claim that consequences of balanced identities are again balanced.

Question

verify the claim that consequences of balanced identities are again balanced. An identity is p≈q balanced if each variable occurs the same number of times in p as in q.if ∑ is balanced set of identities then using induction on the lenght of a formal deduction we can show that if ∑→p≈q then p≈q is balanced.