se obtiene que