Zdroj TeX:
\small m\cdot n' \overset{Axiom VII }{=} m.n+m