这是可以证明的，并且可以有结论：H=G这是因为对任意a∈H，对任意b∈G，都有ab∈H，由H为G之子群知，单位元e∈H，那么取定a=e，对任意b∈G，b=eb∈H，这即是G包含于H中，显然H包含于G中，于是H=G；对任意一个群G，G必是自身的正规子群.
