>>544
Ｚ（Ｇ/Ｚ_1）が単位元のみからなる群より真に大きな群になるということ
です。