Hence as the path formula_12 is a semi-infinite arc the angel does not return to any square it has previously been to and so the path is a winning path even in the original game.
Поскольку путь formula_12 является полубесконечной дугой, ангел не вернётся на любую клетку, на которой он уже побывал, а потому путь будет выигрышным путём исходной игры.