Because there are no circular  references in the graph, each time we get here there’ll be at least one step with no remaining dependencies.
Puisqu'il n'y a pas de références circulaires dans le graphe, à chaque fois, il y aura au moins une étape ne dépendant de rien.