10. Beweisstrategie:
Lemma 1: Der Winkelzähler nimmt niemals einen positiven Wert an.
Lemma 2: Wenn der Roboter nicht herausfindet dann besteht sein Weg bis auf ein
endliches Anfangsstück aus einem geschlossenem Weg, der immer wieder
durchlaufen wird (Endlosschleife).
Lemma 3: Der Weg kann sich nicht selbst kreuzen.
q.e.d (Erklärung folgt...)