A simply linked list implementing the abstract type list has a cycle if, starting from a given node referred by p, by following a certain number of the following li