Legyenek G és H tetszőleges csoportok, továbbá legyen adott egy f:G\to H szürjektív csoporthomomorfizmus. Ebben az esetben ha G ciklikus, melynek generátoreleme g, akkor H is ciklikus, melynek generátoreleme f(g).