抽象代数:设H是群G的非空有限子集,证明:H是G的子群的充分必要条件是H关于G的运算封闭