El siguiente ejemplo muestra una dependencia verdadera: