prove that it is cyclic.