Man kann zeigen, dass wegen der hinreichend hohen Schrittzahl auch die zweite Bedingung erfüllt ist, das heißt der Algorithmus mit hinreichend großer Wahrscheinlichkeit findet, falls die Kodierung von in UPATH liegt.