Обнаружение цикла в связанном списке с подходом Заяц и Черепаха

Я понимаю, что для обнаружения цикла в связанном списке я могу использовать подход Hare and Tortoise, который содержит 2 указателя (медленный и быстрый). Однако после прочтения вики и других ресурсов я не понимаю, почему гарантируется, что два указателя встретятся с временной сложностью O (n).