Proving cyclic subgroup