Zdroj TeX:
\forall m \in N: m \cdot 0=0