It is impossible to dispense with propositions in which the same argument occurs in different positions. It is obviously useless to replace φ(a,a) by φ(a,b).a = b.