entonces tenemos: