We can assume that for every $a, a=x$, in which $x$ is anything including nothing or something. If $a\neq x$ then $a$ doesn't exist.
$a=x$ given
$x=a$ symmetry
$a=a$ transitive
We can assume that for every $a, a=x$, in which $x$ is anything including nothing or something. If $a\neq x$ then $a$ doesn't exist.
$a=x$ given
$x=a$ symmetry
$a=a$ transitive