Para cualesquiera m, n ∈ N, m · n = n · m (es decir, el producto es conmutativo)

Suponiendo que tenemos un conjunto N, cuyos elementos de este conjunto se llaman números naturales. Se nos dan dos números naturales, m y n, y hay definidos dos nuevos números naturales, llamados respectivamente suma y producto de m y n, y representados mediante m + n y m · n. De lo anterior, demostrar:

Para cualesquiera m, n ∈ N, m · n = n · m (es decir, el producto es conmutativo)