群 (数学)
p, q を素数とするとき、位数 pq の有限群は可解である。