Add the proof for tortoise and hare algorithm