y de aquí se obtiene: