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.