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