The algorithm must terminate, since in each iteration we remove at least one agent.
האלגוריתם הוא סופי, מכיוון שבכל שלב אנו מסירים לפחות סוכן אחד.