 In second-order logic with identity, this is an instance of \(x = x\) (strictly speaking, one first derives \(\forall x(x = x)\) from the axiom \(x = x\) by GEN, and then instantiates the universally quantified variable \(x\) to \(\epsilon F\)). So, by existential generalization, it follows that: