Beweis von Lemma 1 (Winkelzähler nimmt niemals einen positiven Wert an) :
Erklärung: Beim Start steht der WZ auf 0. Wenn er dann auf ein Hindernis trifft
dreht er sich nach rechst und folgt dem Hindernis (dadurch nimmt der WZ einen
negativen Wert an). Wenn der WZ wieder auf 0 stehen sollte löst sich der Roboter
vom Hindernis und der Vorgang wiederholt sich.