Es sei R {\displaystyle {}R} ein Zahlbereich.
Dann ist μ ( R ) {\displaystyle {}\mu _{}{\left(R\right)}} endlich und zyklisch.