)半単純群は簡約群である。