Let and be subgroups of . Prove that is a subgroup if and only if or .
The direction is clear. To see , suppose that is a subgroup of and that and ; that is, there exist with and with . Now we have , so that either or . If , then we have , a contradiction. Similarly, if , we have , a contradiction. Then it must be the case that either or .