 The key to this observation is that the open formula \(\exists y (x = y)\) is a theorem of pure quantificational logic. Successive applications of the rule of necessitation and universal generalization are all it takes to complete the proof.