Let x and y be given.

Assume H1: {x} = {y}.

Apply SingE to the current goal.

We will prove x ∈ {y}.

rewrite the current goal using H1 (from right to left).

Apply SingI to the current goal.

∎