Zdroj TeX:

0+1\overset{def.}{=} 0+0' \overset{Axiom V}{=}(0+0)' \overset{Axiom IV}{=} 0' \overset{def.}{=} 1