The fact that it's a stable table in which this search occurs guarantees that each pi has at least two individuals on their list.
Die Tatsache, dass diese Suche in einer stabilen Tabelle stattfindet, garantiert, dass jeder pi mindestens zwei Personen auf seiner Liste hat.