added thm:cyclic-elements