Cyclic Abelianizations theorem