证明:只有有限多个子群的群必然是有限群