Para todo $b \in X$ temos:
$a+b \leq a + \sup_{x \in X} x$.
Se $\sup_{x \in X} x$ é maior que $a+b$ para todo $b \in X$, $\sup_{x \in X} x$ é um majorante do conjunto $\{x+a : x \in X \}$, sendo, portanto, maior que o supremo desse conjunto.
$\sup_{x \in X} a+x \leq a + \sup_{x \in X} x$.
Para todo $b \in X$, temos:
$b \leq b+a \leq \sup_{x \in X} a+x$
$b \leq \sup_{x \in X} a+x$.
Logo, $\sup_{x \in X} a+x$ é majorante do conjunto $\{x: x \in X \}$, sendo, portanto, maior que o supremo desse conjunto.
$\sup_{x \in X} x \leq \sup_{x \in X} a+x$
Além disso, temos que:
$a \leq a+b \leq \sup_{x \in X} a+x$
$a \leq \sup_{x \in X} a+x$.
Somando as duas desigualdades, temos:
$a + \sup_{x \in X} x \leq \sup_{x \in X} a+x + \sup_{x \in X} a+x$
$a + \sup_{x \in X} x \leq \sup_{x \in X} a+x$.
Se $\sup_{x \in X} a+x \leq a + \sup_{x \in X} x$ e $a + \sup_{x \in X} x \leq \sup_{x \in X} a+x$, então $a + \sup_{x \in X} x = \sup_{x \in X} a+x$.