The necessary and sufficient condition for H to be a subgroup of G

[@peterg76yt]

The "theorem" is stated as a definition, so it's trivially true.

[@mathszone3520]

Yes but it has to satisfy the conditions