 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
|
 |
|
|
|
|
|
|
|
 |
|
|
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...)
|
|
|
|