What arc the elements of a proof that there is a unique element x such that P(x), where P(x) is a propositional function?

Step 1:

We have to explain the arc of the element which can proof that there is a unique element x such that P(x), where P(x) is a propositional function.