Tour:Cyclicity is subgroup-closed