Z le informa a Y el costo de ir hasta X porque es lo que corresponde, ya que es el camino mas corto para ir de Z a X. Como el camino mas corto no pasa por Y entonces le anuncia el costo real de 6, y no es de infinito, que es lo que sí le informa a W (porque es lo que dice la regla).
Martín