Según lo anterior, tenemos: