ну мне было очевидно, что если он возвращается в начальную точку в конце цикла (результирующий вектор перемещения 0), то он не уйдёт в бесконечность, потому что в конце цикла всегда будет возвращаться в начальную точку, в независимости от того, в какую сторону он повёрнут в начальной точке. ну количество шагов в цикле конечное.