设[tex=0.571x0.786]7G1MINzwputr5mgALyjQfA==[/tex]，[tex=0.429x1.0]dX3JVuFw9r8t2KlWf+/Z+A==[/tex]是两个实数，定义[tex=0.929x1.0]CsWCAOxbxbvo3bJoGMwrfw==[/tex]的变换[tex=8.714x1.429]9oJjqCSVtucQLSKou3ftf2q1nD0IzEBqsKUSNLC6Y+9ZbVYA5XOXZ6wgtErggz/3[/tex]，[tex=3.714x1.071]2MlM44/MaJii0XQO/yMhwSZu0d9ReRUwRliNZOmBp4I=[/tex]，试证下面结论：[tex=8.5x1.286]+8nb08kX6AyN6Gkh4Z3kLiBy41bVFFyhJhsYO2mGiV26b5+nDdGv0S7mbJF/wEZP[/tex]是一群。