I did the first one by contradiction and a lot of cases.
$ Given A, B \neq \varnothing \subseteq \mathbf{R}, A+B = \{ a+b \vert a \in A, b \ in B \} WTS: \sup(A+B) = \supA + \sup B $
