Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/ia/paper-3/7d/b/ii/solution

Choose , possible because is proper. For any , the element is also outside , since otherwise multiplying by would put inside . Thus both and belong to , and . So contains as well as its entire complement, proving
The complement of a proper subgroup generates the group argument does not actually require finiteness.

New to topics? Read the docs here!