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.
Так как в грáфе нет циклических зависимостей, после этого всякий раз будет как минимум ещё один этап без ведущих к нему стрелок.