To show that a non-empty subset of a group is a subgroup.
| | | | created: 2019-08-12 21:44:13 | modified: 2019-08-12 21:49:30 | by: bookofproofs