证明：一个有限群的非空封闭子集是一个子群

在证明这个定理之前有必要先回顾一下群的定义：
(https://en.wikipedia.org/wiki/Group_(mathematics))
然后我们来证明这个结论，直接上图：

证明数学问题的过程十分有趣，有时能够感觉到思维的绝处逢生。