Zdroj TeX:

n'+m \overset{D1}{=} n+m' \overset{Axiom V }{=} (n+m)'=(m+n)'