Euclidean plane/Finite subgroup/Proper/Cyclic/Fact

< Euclidean plane < Finite subgroup < Proper < Cyclic

Let be a finite subgroup of the linear proper isometry group of the real plane.

Then is a cyclic group.