y obtenemos: