Zdroj TeX:
\forall m,n \in N: m+n'=(m+n)'