para todo m, n ≥ n, tenemos que