Recall that a trail is a walk that does not contain a repeated edge, a closed trail is a trail whose initial and terminal vertices are the same, a non-trivial walk contains at least one edge, and a cycle is a closed trail where the only repeated vertex is the terminal vertex repeating the initial vertex. prove that every non-trivial closed trail contains a cycle.