(loic merel)による定理は、与えられた整数に対し、同型を除いて、の数体上に定義された代数曲線ののねじれ群として作ることが可能な群は、有限個しかない。