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