según lo anterior, tenemos: