Zdroj TeX:

0 \cdot (n+1) \overset{def.}{=} 0 \cdot (n+0') \overset{Axiom V}{=} 0 \cdot (n+0)' = 0 \cdot n'= 0 \cdot n + 0 \overset{i.p.}{=} 0+0=0