∃! means exactly one

$\exists !$ reads “there exists exactly one”. A proof has two parts.

Existence: give an example. Uniqueness: assume two examples $x$ and $y$, and show $x = y$.