Más explícitamente, tenemos