Zdroj TeX:

m\cdot n' \overset{Axiom VII }{=} m.n+m