Mostre que se m + n = m + p, então p diferente n + q,
qualquer que seja q ∈ N. Pela lei do cancelamento.