Теорема: любая подгруппа [math]H[/math] циклической группы [math]G[/math] сама является циклической группой.
