Circle Group is Group

Theorem
The circle group $\struct {K, \times}$ is a group.

Also see

 * Circle Group is Infinite Abelian Group