1+1 = 2/Proof 1

Proof
$1$ is defined as $\map s 0$ and $2$ as $\map s {\map s 0}$.

Hence the statement to be proven becomes:


 * $\map s 0 + \map s 0 = \map s {\map s 0}$

Thus: