TeX source:
|G|=n