[lupire]

Every sequence behaves this way (For all sequences S, there exists n_S such that S ^ n_S equals S^0, the starting state.) Proving this is an introductory problem in Rubik's theory. Try it!