(5) Заключительное противоречие.
Из (3) и (4) следует, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEcSURBVDjLY2hsbGSgFDPQzBAgYIJiRmTxVQhxIF7FhNOQ+jwPQ1kGhleMDAz/ZN1ySpDloowZ5gMN+AfEfxmMo+YT9A5Qw0IGBuO7sfX1ksjiOW6yxcaxDd4EvVNfHytpYmIyw5iB4Y5xZL0vTLyjI43HzditNq2jg4egIQ3Rxj7G0Q0+eR6yRQxGUYuQvWrslpdCVMDmubmFgbwBCR/Zmy5Z1UYQceMUj7x6Q4KGgJzs4RGdDGfLMuwGBTAur+CMHY/IejtkrzHIuO/JynKxw+YVrIagOxkUyKAAlpU12Y7NKyiGgBJWWlooH9DJdaFpaXzIiqKNGRYwyHrsxuYVFEMaYo29wYkIhGXddyFrAHnR1CMvmf55Z+gaAgA7AZreUdHWggAAAABJRU5ErkJggg==)
- элементарная абелева
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADoSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxvHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiWQfamR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0csOmyHqtC09L4QCEJ1sRgfBtmEE6NOW6yxZBQhGI0m7BqBAeCrOxKZL8QTAAgvwCdaQxyZlp5OS/RGhERDcSyHrvTOjp46JdWB6dGACARS4cPViE7AAAAAElFTkSuQmCC)
-группа для некоторого простого числа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADoSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxvHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiWQfamR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0csOmyHqtC09L4QCEJ1sRgfBtmEE6NOW6yxZBQhGI0m7BqBAeCrOxKZL8QTAAgvwCdaQxyZlp5OS/RGhERDcSyHrvTOjp46JdWB6dGACARS4cPViE7AAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGIAAAAUCAYAAAB23ujSAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOISURBVFjD7VjNTttAEJ7kDNyBbN8Bb3osJ+RsBPSWisTKCepDhCwVIvmAqMMtBx6g6oWfE+IFUCHcC32CivIC0FcodMf2OuvFjk0cq6V1pJEi2zs7O9983+wu7O3tQWF/3ookFEBkDBygBHBaHmfciwGC/8q+hYI+HT4vj5OEURb2rVp4LozLadJVoMZhQvzBWLEWg5L9pc6OlicgpzHzy3ElAuFYbIEA3PFRD0Tf7MrvWhQOuJMHbr+Atg4mGTz6Lrm+S57/oT0AYRdmvz8VxIggkPq5/EwkYKezRDH+YDyOtc05neq7+H2/b07VCZzTprOaBwjov8b9B2vx4+wZdIXH8+jlj9wxy1lIJU08MUcA9LbtOLPy802dbNN2bzmPRbhz+lXuV1AJ5+MFsS2+4YnWCKmfqCCYZmOmVikN1EX6hXUvs8dx2rMUyBUyIy9WGBQOocIGIk7bbs9RgBvCOluppQkDrVarn/jAH3LlINqisrLKS1QlsQoMqNFbEVWP/3ttuiwDj2CJb4TZtjld42NV5gizGNlSx7gVSltHk15HuADIdywKLJI6IScqCxKBwCAxcFwAaK1j2TnVrY1R8qLIytASpMytdNC+NWx73q3uV/SzykYsEA20iwiWdjkT7uMW2muzN+o7L1Hateor6zrCrOOFbBjvOfu+jgIhFghL199hgAJVQWFLpxtJDsc1L5kw7A8SrUNVrDwXTFKrW22OaoNUGZiL1GpwHCXvqYBwA2TGevCfwAU27SRZykJpkRTCrK2gWqmxHwHWtgqEX3m3ch/xWECXfVAfvQ0AvZETEsypjJuUNNl2Yx4ZMTYQmATWdBbDVVgbdDpLi6NkKQulZT0VyWXMajwTiG6MPNxGbXNHAZFVmjwQ6BfjA6vLivIsIFT5EVpHSPUsL1nytqPRjTaVNHHWYrGYtj39xC+Qn1Fx5yFNKIcCBGSBrCipgUAn2CS5/HxsmObMk61YikSNE7g7ZwUuMdikQ5bXrMl1dOPlZwdt7ViWkTXU6Ji44xp/hrWUd5sLb2Up8rffXajol5jTUeuL0lR+CKqFDku40NfMWp80E0JzchM9Iml/HnUY85l7o0pJ3Jln1Mn82YxW5hZzurvOFLG8yLsmr/rpFW5zx/WRZl9fXPqlZZJ7dRHuCel2M+Y06nZetwP/3e1r3BY3zZ3W3wbCiwbiX7MiCQUQhcn2G+2kv+7N5pSVAAAAAElFTkSuQmCC)
. Покажем, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADoSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxvHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiWQfamR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0csOmyHqtC09L4QCEJ1sRgfBtmEE6NOW6yxZBQhGI0m7BqBAeCrOxKZL8QTAAgvwCdaQxyZlp5OS/RGhERDcSyHrvTOjp46JdWB6dGACARS4cPViE7AAAAAElFTkSuQmCC)
делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGJSURBVEjH5ZbBTsJAEIZHzuhZlOUZhMGjnsi6CXgkhm56UnsgZC+Y9KBhy60HX8B4QDzyAF7QJ1HegEdQ406BCNiisUUxNtk2aWd3vv3/nUmh3W7Dbw5YGQBzrS09WUiO4Ka1nUGUetHkHkAKxmNRAniPm0kWlePLABZCxyz6AoADW+tMWPIGZ2fm8UpxaHvlRAGCuBoeArChUDo//+28XiowgCEw0Xd8P/1hblwA33fSgkE/DMB17a0iY3cEML/zxABohyjEBQIMUHqVaeklYktKPDX2PIXZkwiA4nhSUmpPZOGe8UZzkpxsISCrALeA8ibSvjgAgfwoLpSnNqcBAt9RXpIFgTIR8scG0ErkRU3vj6uhC2h1XddZJyg6cKPDGS1/bIAG50eTxU2pNSHLH0QxdyWa3g7Z8Jn83wagxV23uo25g+uq42zQO09iZVLn1JyMDUinn/G66QG9VKIAno3lUfOBZyPxI6lAduwKdTzbnMYxaHWWYkES408AtH4AoLW6/wP/FuANS4qQ89EW8SsAAAAASUVORK5CYII=)
. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADpSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxnHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiOQe6GR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0ckOmysh6rQtPS+EAhCdbEYHwbZhBOjTlussWQUIRiNJuwagQHgqzsSmS/EEwAIL8AnWkMcmZaeTkv0RoREQ3Esp670jo6eOiXVgenRgAfW0uHZv/1bAAAAABJRU5ErkJggg==)
не делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGFSURBVEjH5ZbBTsJAEIZHzuhZlOUdYPCoJ1I3AY/E0E1Pag+m2QsmPUjYcuvBFzAeEI88gBf0SYQ34BU07hQaC7bE2KIYm0wP7ez+X+efnRR6vR78ZsDGAOhra+1iMRrBTSmrgCjUqsVDgBzMY5UAfOQtiCVpfBnAROjrTV8BcGIpVYjLcQx2pXXfKA8tr54pQJDXwhMANuVSlZffXV/WKgxgCoyPbN/Pf1qbFsD37TxnMIoDcF1rr8rYIwGg8Bqx8GkBlORl5LyDAJOoCHktEJUQeKHtGSfZkxpAGnhek/KQF+GJGU47agsBmRV4ABT3iR+QBiAoP/KO9ORuFCDwHcVNsH6pMpkCUPl5Sx3NT8MA0By4rr1NUNRws+ZMLn9qAMcwTsPN9VFrQ9F45tXSbdiMs/Kbg5U99B0AajDXbe5j6fiuads79MwT2AjPOQ0nbQNS92tb9AwY5jIF8Cysz4ZPMIBeqApkxwGXZ4vDaR5o9tdiQRbxJwC6PwDQ3dz/gX8L8A7BlpWRTD5dewAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAARCAYAAABq+XSZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKjSURBVFjD7VexUhsxEJVdQ+pAEP+AF8pQeRQlkBIytuYaTK5gPCqAmSsII7tzkR/IpIFU+YIUgXxAPiFD+AHgFyDR6m4dzVk6x8ZNAsUWvlvt7nv7dnVm/X6fPVT7t4tnrDZz8BjUWh2tKjH53LeISPx6OX45j5Kykw4Gc1U1lZ7Vx4JXwE6s4x1jcJkYsxDy6Qp+mPuwW0h6G7Ps5tFes8EZu8bYzrg8S7N0UYA4JrDGJAtC6G06Nxikc5Kzs6KmO3fG+vYUbNrfv/Ln/EpqszJW9qYFr63zje9MVhR3QwlmBTzL0nm5xM7LRRotVxwZoE7oGYIC1dsMNm5JnlNdWZYsAmM/udT7fyV7x2JexAh4DLbK+RcEH0p+b+ARQq3SDvx8CsCEVJkTxX9g3RjzJeefQw2MgscAIMSxZezST4iSdEkT2K0aiaqdUDyvhceIX8cKNS25Tu9Q8gDKBP3wnatbvQXGv8fiRcFrAbtNrZ9jJ7joHvijgGS0gZ36EgwqJ5+/fGahfUpEuBilHTFUmvWrIHC4sGKSJ3P1jWlOEDwWgotF9/RTH7ybc1Dv/zAbT+53yVugBRGjpFFMn2gHMoGN4lyxsOACAcUk78/4VOBR8rJl1ocM2m64eQT5DmcxX4QTST5ktQj4wxgxRJpTiVSdOHD4qrR8hXPf3DtqTAS+K8QbAoZLxm7Ob3J1+QN1st1gn8ryrJR8yErdH57BLZ1l81W3jt8cn+ws23qGwLF2ihciMwh+GGD5xcetNH1Cs4Vywxkt7l/ALY9Bqz5sJu28d51d+fsBzZHt3QBaiG1fdbRHfDVifLdAbeMQS6zW0Hzd0mxhQWtSd0bmNjK703a+JPGLsj8tyELyOzF/8tOS74fO/1ff9g/6j80j+Efw09lvCyun4417KcwAAAAASUVORK5CYII=)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEKSURBVDjL1ZQxCsIwFIZfO6u74OsdbK4gbcTZpdI1QykdtNChQ+zWW6ijPYJ6DwWP4BkUk9aIiNpaEbEQGgL5eN/7k0CSJPDpgJ9BxKcBZPpHEN/CEJCuWZo2akHSlDVoBzZIg3HtSjh32wTIyuW8/RJSOIN++au5riCUBsPSxgYUx2LTCS0/FP4TMT9qgIeeF5uV08m9EZeGAVvl7hBYAHEWlSGx1zMNMHY04F21VkBG88oQGeFt96OINe2OtiHudFAJolRUFbKxxbnor9S5KIVIFUSaDRlryURyAJD9baSlkGITHK8D7acVPITcq7x9ATNRulAhUoVFUbMWREQ4uyoQZ/Yf78lXIGeEtuJrqAUdqgAAAABJRU5ErkJggg==)
-группа, и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAXCAYAAABXlyyHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKrSURBVFjD7Vi9bhpBEB6ojXtjhnfwjVMmaaxjEXaJ5ON0la0rELrCtrSFFR10FM4DJI1/KpsXiAS8gO0HiCIrL4DzCnGyewcOLHtmIQYKU0x1szPzzXzzA9BoNOAtyZsCuwIspQWQhlhSxkaELkArPbXzKXzMBXCz6a8VEdoikCdy67umQYcO7QG5Fwnf0/8kTsoAqEt4tlM9teYBXPozqrAEXcjTVy8MN0wMR2Cx2PabzTWVKafVHUKAnnD+OxJkHZ/7WZvsT1J/kGBywr1XBJqK/eIPFoRbEwELZQup8tnEeKSLxWsVrO+X1wu5VBcAe8NOw4BtiQQ8DrMhDL0NAryVlX4NwHWPSnGC8ZcR4JqNJ8iCIxPjFYJLlfqc+5lCDrpRNZVESAkYHqlv6i7tAlUudT5aIy2hin5uyCRagHcTAUuKMcQbnaLeqNVRqS8TJrL7mGSj7rH36re48tadro1EUs+fW0IVqpz/F+DIMbIbXWXGApdVybHusG6UMFldpVrxFB+tzliixTvTQWlWDBPAL0xbDfWPVcBxP8JPtGvH+r6CPwL7EwA9DFdzAFh9N3dK63pyRsAnuiDkN11CXwI8N0o/9yTnWaNpmERphA7kCl2f88wYexIm51IoHQGw9q8Cmw5VxX4PpkyM9ldPT9oapt++BVdJkztpAM4qnJc3RWz3YtWRGvfIupA0UVeSfFB1nI81xy6pu9IluNAdDX36PqgUJK9eSjxeDGfHxOoOEp7g04y6+fz3/Db7MriQRo3TbZnzzVkDlEdKEfHaZBUu5NdS6LAPMhgJ7h0LDrSXTXQyjvasGfX8jOz5pMovBbBj24dl3193GTtI2s9Rpck9m9a5nMCLBDsRMOdedhvxm+yJRQe2FMDRDsRC2+TyWv3jsQK8ArwU+QtSeawE1UV4wgAAAABJRU5ErkJggg==)
, что противоречит выбору группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEaSURBVDjLY2hsbGSgFDPQ1BAgYARiZgRexQQTJ8qQVQwMTNVZLsayDAyvgJr+gLGs567Y8lhpN2O32rSODh68hpSnhfK5yzDuYWCQe+lR3GAAE6/P8zAEGvqawTh6AV6XdJSn8brJMOwF2YpuGwjnecgWGUc3+OA1JMdNtoSBQfY1sguQcUOshy02OYQrOtJ4PGQY9qA7FzOAQ5lxGlJfHytpzMBwV9YtpxjVdmNvUMACTfoPNO8fA4PRrdj6eklChpRgBHZ5rJQRUA5boGJ4x1OWYReDjPue0LRyPmRF9ZHGvuCwyqs3JJjYQNEox8DwkskoYhFyOEQYMSxikPXYjS3GsKYTkLeATr8FT2RQbBzb4D0weWdoGgIAVNSNbNUohk8AAAAASUVORK5CYII=)
. Итак,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADoSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxvHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiWQfamR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0csOmyHqtC09L4QCEJ1sRgfBtmEE6NOW6yxZBQhGI0m7BqBAeCrOxKZL8QTAAgvwCdaQxyZlp5OS/RGhERDcSyHrvTOjp46JdWB6dGACARS4cPViE7AAAAAElFTkSuQmCC)
делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGFSURBVEjH5ZbBTsJAEIZHzuhZlOUdYPCoJ1I3AY/E0E1Pag+m2QsmPUjYcuvBFzAeEI88gBf0SYQ34BU07hQaC7bE2KIYm0wP7ez+X+efnRR6vR78ZsDGAOhra+1iMRrBTSmrgCjUqsVDgBzMY5UAfOQtiCVpfBnAROjrTV8BcGIpVYjLcQx2pXXfKA8tr54pQJDXwhMANuVSlZffXV/WKgxgCoyPbN/Pf1qbFsD37TxnMIoDcF1rr8rYIwGg8Bqx8GkBlORl5LyDAJOoCHktEJUQeKHtGSfZkxpAGnhek/KQF+GJGU47agsBmRV4ABT3iR+QBiAoP/KO9ORuFCDwHcVNsH6pMpkCUPl5Sx3NT8MA0By4rr1NUNRws+ZMLn9qAMcwTsPN9VFrQ9F45tXSbdiMs/Kbg5U99B0AajDXbe5j6fiuads79MwT2AjPOQ0nbQNS92tb9AwY5jIF8Cysz4ZPMIBeqApkxwGXZ4vDaR5o9tdiQRbxJwC6PwDQ3dz/gX8L8A7BlpWRTD5dewAAAABJRU5ErkJggg==)
. Ввиду леммы ,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAXCAYAAACoNQllAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAL2SURBVFjD7VhNTttAFH7pGlgXyuQO+KXLZhVNBwWWUeVYXhF5EUVeAJIXFDnZZcEFUDfQFSdoF6EHgBO0KrlA4QpB9RvbwaQzthM5kEqO9KQomZn3vW++92PDYDCA0vRWklAStOIEBZ8KWVFnrRRBUXBvElaZNyDfxH1A60J3bk7f0q+F7KzRPTGWQZQOixac47Q2BINR8H0S2SPjveN5wElymBg5w+Fa8ncL4YLOA8Cx7fubqr09zo7DNTBBu9+k34ZDZ40woenvF6nwk24DGbBfwvV3MgmiDRG4KTCyvo1NApwXXODUYGz3apacZ+QBe1CBknsBHlTk+r69icBuSElFEBTFNdFh0dwcu1ctbiNcwra41gU9uxat/p7qP6mEbbhWgfI8e6vG2DciSLe/b+EeYPsyZ1nILBFEugHsNpOg+OaYcA91QechKHRojHTp47tiBzk/RYBxkgQKwEL0bRs7aelH+xkYt6r/o/SdKG2mFs5NkCRAA2x66wrZK284hUiXY6fhuh/ovKCuHSXTjgiTODTBJLHoFDav5SIozG0Y66Sbpa6ZND3SEUTBceSnbt99myRIno/WWYwjLfiYoCS5S0+xULYBARqnbQO+Buq608k+L0HkR5h+farY4EI8z1kXKD7T+rB469Mri6ClpVh0c3fUypWzDHWwRFdbNMV6nH+Kg4+I/CFq1fMYnLwIjYpfNcVkbRDskDpY0EIxlmVYl563/KzpVuWQ1nle6x1WP35pOc7GlMiI+Kd5RKo4dd7KagLzGuEivFHcldQ2H5KULUs6qGua9Z7Jm6qZhKSenJme5g0y/E3BUbq9F+6BMjVSirRqOl9YPWFp+RP7nRXC4gMW3X61+rNaE+dUdP8Z6KRjvLE9b6vIRwKqV7uMXanSYaUeVn1T1AlkUgXKKZXGAs9bL4oc+aiRsxa+KkEm5x2qJZYQB2lzkVRS0L6LACvT9gXJWZig6HHgO+XuSwP+L94HyYKaY6IuX5iVbxRLK0nIsL/1XDBez7JEwwAAAABJRU5ErkJggg==)
.
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
- произвольная максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFUSURBVDjL1ZRBTsMwEEUH1sCaCtwdB2im3AC5XpRlF62VFVUWqDJSWykLQE52FUeATcs5OAFXgJ6AXqFQTxpXUWSHSCAkIn0p8oy/540ngTRN4TcFf2Jonj2jfZJ3YyGH3isNJcLcJH0C4DLUuuHK0X28NDlfRmsm1Phb5O0GthJKt8qx2+uLgAGszIHv5QO9hgOEhcswjqPDDjYfyZDx0aRWD7UOG5zzGwRYoky6xZjiOOQc7wm3HPMaJhK7GIbDsiGhngt1NeJs6uuv51JQ97U6E6fwYrEIVaC4U4k6pnVAOa81NoSLKPWujzhYWFTqp70QF67TMMPNk62hRaU1gzupGicnrk3ONrPgtd0WD9FsdpAdEsCzrbrSkKY9jnsn2Ow89aLoyFZrRueDUCluKsV8XKbFr8NpqAQb09RvhW9UpVaiZVHzr2e9U91L+R9/m59oA39q2OEqaBHoAAAAAElFTkSuQmCC)
подгруппа с индексом
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAAAXCAYAAABgWeOzAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALYSURBVGje7Zi/btswEMbPndPMTWL6HeJzx3YKFAJJR6OIBU1NNRSGhiaAhraRvXnIC6RZ4ix9gy5uxj5F6hdo8woOyqNMR2Vp/aElAwk0HGDAEr/jj7zvSMFwOIQ6qo0aQg25hlyHDhPg2TwaNeQKIgy9bQS4FYBngL2xEbJO/wntrsrnNRr5G/st/OqF4XYYdncQ3bP/IEeRtyX+iLKSVeWQ5xmbyZWtkWdeZcSnD3tthu65i3AFgL+8KNqyghwPAPdikKk+iIq+w07jZ2CG3uCgaLJla6wLssjpBN3BodQ8wjfqd2HIagAAdseDaNe4mgB3wPjEH402bBMuU2MdkJVVdMNwh6rLRXau5547GRqMN+GHCQCZfoex7wRAX0VD921UqbEMsmYzejQKWFlDxWLhO51vqumZqis35Cjgu+g4X8Rg0+QkScxFjFwX35v8KPm+APQ7rcSzNDwPj9OsJA3y3IpmxkD3Km0c3+9ucgYTepY5/ZNeG64ZDz7qVpF6Ts4DOXDweC8IXtFOI6FkeZNID2GclWxWlK1Rhl3Mj2bTJFRVaTR+p8UvsqwrVzKyjJF/DgbBiyQA1VXl+9rus/E2Gw1VxlXYRRj6z6V9JRZW9oyCfScXZCpjfhS9pt/xbuqNZQICConFzWq5VeTadfk0/rEKuTCyjM3aq9rFwMXDpKaCrnZ1qZD7jvNWCclyafIb3mldqOZEHqXfcoofg+w0FheBDMi2RzOlSbs9Pj6yP6aTjzVkGljeYFr7l13f33xYXbinBkb/i3JG6viivE+zurTxXr+iRpWQ5e5v964pbwLebDZ/2vSd1GQGHh48lBXe0kSorF/y4J2xBFMSWHa6WFWjSsgqZ3mqEBZBNmbTd9Z6M6r0u0EFkPWx2tCe2PSdRw+ZmpGAfEkfZ6qCTHYhG29sHY1VIJ89RsgLOzEcq8qYV9IybL/J1N+C1/G5tYZQQ34S8ReHx2L/FnoGdgAAAABJRU5ErkJggg==)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAUCAYAAAD/Rn+7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHBSURBVEjH7ZZPboJAFMafrm332s4h5KU3MDiNujStErYsjGEhJixMC+64hX9WrUfQXkCvoJ6gZ6jpDDiWKuogTcpCkhcCzLz5vfm+eQH6/T6kOVIN9y+A7MoCTLIR7zP8W2xAMVFEEjjH0fMIsAbleczzhr+5GlYBcK07Tl4acMKA2iqxWLKvIFgC2y4kBgTYYMOpJQZsIowAtWE4OVHbVlJAVNUXQui7Yds3FwP2WiWFgLIQE2xbLyBkVqi7FRkrRHltB6i5VQ1hyIrtXgzIpO3y3ZtsF/OlxubgGNxvK2yDlKeG5+WiAB2TFgngXFgmFqBI9KCZT2UCU74Yr3bf2KFiLELNjrTEDJA/m5R0xC7GA2xgjQ1eicGeZ+ToPXyIxPuLKkrTPZT3tMQ/z2ReavWUWIBNBcbicIQPTNQuBVLB54G8ZyQW7/guMuuMpAGjkth2/Y5XSk2nGDkeNeeY/Odyc3UeCXlTVXyVA/TlDfoUl8kw6reUwOyUx7ZesuJKvDvBOlZYC9hIAQop2X0gpDrWWvYhJSVeRuUL1sPlSUDf8EAWUVKm4mfBl5fQWbjq1ABys/KeJ9PPrv+DV8A/jG8aP1vu73oQfwAAAABJRU5ErkJggg==)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHDSURBVEjH7VU7bsJAFHymBnqClzvY7woIjCB0SHzk1gVCLgBpC4QMnW/Bp0o4AtBGyg0SKZwg5ApB2Y1Zs3Fsg6UUJErxpLX1dmbezK4N0+kUrq2uTtDvErUCSIFXynGtXATGei/oUQS2tE7FirKsRtYgsGGN76TUGzR1WBLD7p8jo9S8QcC16Ti5uD7bIH2GfWDYw16JDDiPAmRf7I70UFGUNvIIyk6I8DaRN8N2tIhp/eLitda4DmecdV0rbRByXyjAk+BpIywA24tvoii1MmUVtoCduXjntPAWiLGxXDctA09MrPIJpTrIz2hOqlGiRt2iXoDCszyoJ+rEeyLqYA0Ad8J+ITIsOtkp7q4O+rZBaV5yLtIp5v5QxvR4lK08iNw8EBZyUL6ZRbcPRhfi1CHgWqRTIjqB6fOQylpOw9/QQZiD3lzySblAVVUfZEujoiCkcheMN77fWDUsK3vkYYPjS/By+AvHNjQC8Pp565i9PGfsTGpRBI5j5hDIY5iTcdF9cZWU12EDRRKyc7I5d72TVDC6RB9Pbuu4pdWPUSo/IYh/gFl0yKOzKM0kEiVHeO5qJyl2FGZ+ZNie/f+Q/7SoD941YVDLUlGgAAAAAElFTkSuQmCC)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAXCAYAAABXlyyHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJDSURBVFjD7VixTsMwEL0yAzMFkn+gV0Y6VcZSYaxQGmVqlaGqMgBSBkBptw78AGIBPgIG4D+QWn4A8QsgfGkLJnJCiY0AtZVOihL7/N7du7Nd6PV6MEs2U2TnhGeWsPgVhC2QpU6UxtCzNpCRv8I06+lgUk50ES7EhFcAfPSiqKga02HW4WgMvKDXrWmSXYgc3AV0L9LGmMKUCiIGANYzD6KN5LejdrVkATyDxW/9fn9Rh+jY11MWWZOYlC/7fX+Rr8OdynkYeqtly7om5+h2d/ISDcP6GgIMpg2aKUzqSAZ8Axk7EYAeZQdUFy5i5HnYypJWZpYir0h+vzvfFCbly4BhqxoEWxRRi3UOZEnRYg2Ey2kkqLKuhzWqMQFuWA/DtWkbnilMSukwZCdBN1iRncc1gu7pJEN55SxnLK5dIem67y9nETeJSQmEO1GFnkdRa1yGob/EkR9TrY0aRz45ZxIX2UkjnReTantStHa2N5ko2vwBrPN7XrbPJo2iUYIrWtD0gSCWeook82AaZ30oy/8TYYpE3Dnt7XOSWAzCxR3a12hPo+9CQkidUDg5TN3Yv6jJxOEgaYXkWB1MNDaV8EcziRvKgCJKUtrkQVPa+F/eLZENWqztOJWOw2rV9lEptflwa/+TnwyfupgyCWtLkiJv2w92mZ9Rg9E5kJjE9GOEI4dXqKbkDPy2UTMjqf8IYYexFtWZy3nzL2R33LQG4mT2JJ/MjDgfH+1uaHvRvUj8i/tw3Dw0LxLzPwDmhOeEc9kb83Skq5nMNRkAAAAASUVORK5CYII=)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGdSURBVEjH7ZXPTsJAEMZHz+hZlO07wOBRTmTdBDwSUzY9QXogzV4g6QHJllsPvgDxAj6EHtT3MDG8AOEVMO5QIQ2pREvxRJNJNt0/v+4330xhOBzCfwQcQJmCzHNk4pjix42xNTROBZIIY7P5EwCnjtb5pDUeZ71oDSzQCWqppdM23gCwuVC6uDnX71RLDGAOTLy4YZhLLV0YujlRgNckkO8752XGngiEMqjvlCOtRBE5HyDANH4Y5UIiasfB9jZZfw1SHNtVpa7oVox73bicBG4iTADleCfXkWwc+UAF6iwOWuYF5b3WTn7zpqlAJJuwdYXG0Zc3J77vnggUd5T4yCR/ky0R5HF+uzrEWLgLBfEmytZoZYpmCR4JnrpgKdG+37hA6/qh4bqn9C6QWKdaoTqheSMfktuMnL1tRZo0tx4EDtJhiyjwg25FMl4K1YoV8WIdCWYgQMe2K57Na9VOv7S3XrdUwLLerbIYkaHixZwpSNuiQrmMK7EXkM15m/IrhWhttqbMIN+t6dmYZZbUZDMDLc2ypckefuWp4wtlRVg1Rq6lQwAAAABJRU5ErkJggg==)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADoSURBVDjLY2hsbGQgBzNQVSMQMEExIxSD+Xg11ud5GMoyMLwCKvxvHFnvG23MsADI/svAYHw3trxcCq+N9fWxkkYMsqfk5BhuGMc2eHd0pPF4yDDskXXLKcavMdLYl0HW+GRkXr0qiA/X6JFXhFdjlDHDQuPoBh8YvzrLxUiWQfamR169IW4/gp1ptDu2vl4SGlCMIIMYjKMX4A0csOmyHqtC09L4QCEJ1sRgfBtmEE6NOW6yxZBQhGI0m7BqBAeCrOxKZL8QTAAgvwCdaQxyZlp5OS/RGhERDcSyHrvTOjp46JdWB6dGACARS4cPViE7AAAAAElFTkSuQmCC)
-подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFUSURBVDjL1ZRBTsMwEEUH1sCaCtwdB2im3AC5XpRlF62VFVUWqDJSWykLQE52FUeATcs5OAFXgJ6AXqFQTxpXUWSHSCAkIn0p8oy/540ngTRN4TcFf2Jonj2jfZJ3YyGH3isNJcLcJH0C4DLUuuHK0X28NDlfRmsm1Phb5O0GthJKt8qx2+uLgAGszIHv5QO9hgOEhcswjqPDDjYfyZDx0aRWD7UOG5zzGwRYoky6xZjiOOQc7wm3HPMaJhK7GIbDsiGhngt1NeJs6uuv51JQ97U6E6fwYrEIVaC4U4k6pnVAOa81NoSLKPWujzhYWFTqp70QF67TMMPNk62hRaU1gzupGicnrk3ONrPgtd0WD9FsdpAdEsCzrbrSkKY9jnsn2Ow89aLoyFZrRueDUCluKsV8XKbFr8NpqAQb09RvhW9UpVaiZVHzr2e9U91L+R9/m59oA39q2OEqaBHoAAAAAElFTkSuQmCC)
.
Предположим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
не является нормальной в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFwSURBVDjLzZRBTsJAFIb/wlZdq6Hs3EMf3EDHSUR3LGjTFaYxhNSEYrpQbNkRj6ALwCVn0At4BCMXMD0CBuel1iBpkYVRFy9tXt98M1/nzaDf7+MnA78CnAA5AHmgns8cCGhxDcdcWwk0CUNV+AbQ1A6CnTRYr1E+UY+5ep/pstX5Vjlo0DGgR9INysvfLlv7hg5EasKX5QkzgRZhpKUAfd/ZPKTiLQN10fbW+oe+b+8KIc4JmJIV1hZVXUGnQlCPdckOj9YCsm7VtpvLQFatSrfZFno3TTcTaBEFjcDdkwU8KK1uoipJXrmhu63yjyBrtFbbsC6Rdf2x22OQOU5UpReW4g3RojTdVCDrJsW8MQxMVDm3SjcVyLpJsRrsQTeeKhV54wwGG7xS08B9lu4X4Jy13HqBigd3dcfZ4lxoUU314iur8ulRK6W4Xc4ugEluJbAl9Q53fRzGM68y9GSpKtvNhdMz+wwyh393Ofwr4Dv0nNbz4AqdGAAAAABJRU5ErkJggg==)
подгруппой. Ясно, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAUCAYAAAAHpoRMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIHSURBVEjH7VaxTuQwEB2ogRq4DB0fQIYr765BliWgXNDGSgNSitPKBSClQOBstw0fQAd0fMNCScMfrGB/AL4BhCebRCabLJHuJBaJSFakePz8PO/NONDtdmFaxtQQ+Rpk7DNjxyy/P5ifrQWuwXDXjs2VQXq9aE4i9G3gK1BwWbWRadN2Og/4JLVZq4pJQtq0MS9lDC3xYLSW8dVFI5kCgssqMnEcLhPAEFD2o15vblLajQmXfMD7jb/Hvvu9I/CQVLLVSCYGsRs+gidv3A05rQHhGSIMUOqDjzxgtFxDgGcUnUP3uyIyoTFLzci05W8h6ASAhu6iRNEWCXGCgIM6eco4Usk9RHkdxfF8cVBSprGBlZT7Wm/8QvDvczKpPKRObYqPmkhU4CR6kT1IbbNdHKhCokoyzFwIvZPrzRlgeTi1baNXpQc3jSTKcArTZv6rk6iaDKfWEsh8M+RTpIYLk02XYAOJ/uRxo3V+v3Xc8uskqiTDqWUJ0hK3WWCP/JR6vyjpkqkzY4/1jHIGFMGF53l3dRK9I8Ngcdz64ftBkgOn5Z35I4paC5bcLfjBlbtxXnl5xeQ4QnR23Tj2iu1Lz5OyOt6k0kY1akb2dKd8uqxEn4r5koF5o5xM1tTSONdbTHp9RZ5PMv5/uVNcMp9+UU4VGTa2JXP06WQyAz9MujS/f67+dbwBrjHayNdvxUsAAAAASUVORK5CYII=)
- максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEWSURBVDjLY2hsbGSgFDPQ1BAgYARiZgQOZYaKMxFlSChQU3mai4kcA8NLoKY/YCzrviu2PFbazditNq2jgwevIeVpoXzuMox7GBjkXnoUNxjAxBuKPQxkGRheMRhHL8Drko7yNF43GYa9DLKeu9BtA+E8D9ki4+gGH7yG5LjJljAwyL5GdgEyboj1sMUmh3BFRxqPhwzDHnTn/scRwFgNqa+PlTRmYLgr65ZTjKygPtbYGxSwQJNA5v1jYDC6FVtfL0nIkBKMwC6PlTICygFdOR9vOgF5x1OWYReDjNve0LRyPhTXRBr74gsr1IADRiMobTAZRSxCDocII4ZFuGIMazoBeQvo9FvwRAbFxrH13gOTd4amIQBi5Y3GooC7hQAAAABJRU5ErkJggg==)
подгруппа. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIASURBVEjH7Va9TtxAEJ6jhtQh8aTLA7BLyiQNWgYB5UXYlhuQXCC0BSC5ILn1ddekT5dAF3iDO1Km4Q1QuBeAZwCxY3utxRjEUZDmipG8s59vvvnm5wz9fh/+p8GUwD0HQMfaDMDxTLu/tOP6+S6uDT8RgTyRq/ala5DRoe/XhLvWf1PcLa6cLCMMO3xu4JyZUK5bDhaPl6TNwkQlMCaZF4BnS9sHwvfvKNyTcb7mzpGAozYCWZa8kQBjQBqlg8HsxD1gNC0gwBWqnX3fH0tpEmPmHUkb5AICOvWDsPSRxO+IcI6kd5/VhCakTxTTJiL9TrNsrg4oY3MHQ/IrgBw7UkUJY7kmlfqGgOePSf8ogZhoS+f6NSGMZGjW6x/25C8weukjgjhzBArpZdyzpdp/ivytBDhTpfSXuvGqGjflZ4zrFc6UpWdMaPR7CuD0KfK3Ewjps5OuDCBG3YOuuCe/xVR9MGZligZN8lWf1LMI+JmWZ/gVBMHfpvws72CQznK2tua9D6S36vFrNKbXoLwXOq0E+CLLum+V2t7wQVx7O8tXTmbGCBHlbgFFEg4BV4YcME27r1QAf0BsHDUXlJsaO1l7rQSqRXPN5tePX1x8Rz84QL2kykX1s1Ksx4pVo3tZ3+PysKkCJ/MggZewKQFu0OZ2fbngZRP+a/45TT9IbgFvOINhUi9t2gAAAABJRU5ErkJggg==)
- нормальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEQSURBVDjLY2hsbGSgFDPQ3BAgYELgVUxQMUaiDFkF1FSd5WIsy8DwCqjpLxD/YZD12J1WniblZuxWm9bRwYPXkLS0UD53GcY9DAyyrzyKGwxg4vV5HoZAQ18zGEcvwOuS8vI0XncZhj1gW9FsA+E8D9ki4+gGH7yG5LjJlgBd8BrZBci4IdbDFpscnNHRkcbjAXIFmnNBAYkawAxMOA2pr4+VNGZguCvrllOMaruxNzRw/wPN+8fAYHw7tr5ekpAhJeg2lZfHSoHksAUqpndkGXYzyLjvSSsv50VWVB9p7AsOq7x6Q4KJDRqNrxiMIhYhhQFzhBHDIlwxhjWdQL11GxoOMPzHOLbBe+DyztAzBABuy46neT8wNQAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIoAAAAUCAYAAABS66VXAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAN2SURBVGje7Zm9UttAEMc3pIXUIejo0oPOlJCGkc8DlM5ga9yExIWHUQHMqCCx7M5N+iQNH1Ugb4BJmYY3YBy/ALwCYXIr+zRnWbZk66SxZ1Rs4bPv7qfdvf+uztBsNiGzzMIsc0JmWaJklnCiXAMsgGvXC4GTAF5A/zepQHr7DfLIHGizxj1L/ozLMDTQalUX8wRu+KxnoOWLoElOie7xdZ8ByAOznPWkHd2o0B3+AP/8PBYjR4Cc+F2u8GvWuGfFnyoYRi5e1uEyaFHbrryhAF0grF1ttRbTOpWOU1nWgdxt1051efzQIMfUbOzOKvcsccVhGBkUPvEvaOxWnojyVKbkKyFwT5h1lKajHYutE4BHYhyeyOMmpU7FcZbT4r6WSt04KU/Tn1FKVlyG4EVLbIsx+hmAdkUQ3BJg0l1qGF8IkPtJJXLYwRM6G5lM9oEQdlW17SXv4anpJMntD4hJ4dwtdcL4CQ0LVFJcuG+1WnzFCLkKmx+XIXDQZOzAsrY3Ceh3YlFXnqhZ51J/Mo1MlimcDTh40NlnYfNdpob1mhFo05Kz5z2kVHaS4BZ2WtvWuaI90EpjRx6vuX0S7RRte2Usu0IuTBDbLq5whehgT5HL5b6HJUpchkCJMgzrvegJEADlCSW+5FhvmQa308hkHEURTF4D26+z/rKTBHfPodWl/Cr9IZ/EgWb7mK0RUvgZ5OgxXPVJuQYThHYEj2XQj+MSRQVDsETxhfo1rYsn1m0Y+UmSN5q4kYqhKJzpndizx6C3i6dFfajsJMAtlCvMkaOCNcTF1VBw4YmOyuUmI1c0oV4Y6LC9VTIEShSeDHylwkzj9au+wawD7xXK1wzJ2S7DqzRZOXqf4VzTtD/+sjMNdxT+sEAElUFVXCOa0g5v6o8570tkDuNTwTBw4YKypuvlhigFXAUugBRucBFsmgwNfoO+f+kvFaKjRnjVF23IZBi1fTmIGBRemx+FhE7LHZU/SqLgWxkrOVsq/BnFer0RPCHzoUE/Bd59KGQYvtSSSgHWMDzJ/VfTB+97kr/xZ6Arz4oTpX+h5u4pSz8GNrfKviFDXO4o/BbbOAhVFF4aWKWx6fPnU1yuaAkTfEmmkkHd7WkCiZKmzTt/0pY5OkuUdBMFmyL/rek82bzzz0WiiE48zT/blCbJnPPPlaJkliVKZpnBf+HvV/Vk5LxNAAAAAElFTkSuQmCC)
. Значит,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIASURBVEjH7Va9TtxAEJ6jhtQh8aTLA7BLyiQNWgYB5UXYlhuQXCC0BSC5ILn1ddekT5dAF3iDO1Km4Q1QuBeAZwCxY3utxRjEUZDmipG8s59vvvnm5wz9fh/+p8GUwD0HQMfaDMDxTLu/tOP6+S6uDT8RgTyRq/ala5DRoe/XhLvWf1PcLa6cLCMMO3xu4JyZUK5bDhaPl6TNwkQlMCaZF4BnS9sHwvfvKNyTcb7mzpGAozYCWZa8kQBjQBqlg8HsxD1gNC0gwBWqnX3fH0tpEmPmHUkb5AICOvWDsPSRxO+IcI6kd5/VhCakTxTTJiL9TrNsrg4oY3MHQ/IrgBw7UkUJY7kmlfqGgOePSf8ogZhoS+f6NSGMZGjW6x/25C8weukjgjhzBArpZdyzpdp/ivytBDhTpfSXuvGqGjflZ4zrFc6UpWdMaPR7CuD0KfK3Ewjps5OuDCBG3YOuuCe/xVR9MGZligZN8lWf1LMI+JmWZ/gVBMHfpvws72CQznK2tua9D6S36vFrNKbXoLwXOq0E+CLLum+V2t7wQVx7O8tXTmbGCBHlbgFFEg4BV4YcME27r1QAf0BsHDUXlJsaO1l7rQSqRXPN5tePX1x8Rz84QL2kykX1s1Ksx4pVo3tZ3+PysKkCJ/MggZewKQFu0OZ2fbngZRP+a/45TT9IbgFvOINhUi9t2gAAAABJRU5ErkJggg==)
не является нормальной подгруппой в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD5SURBVDjLY2hsbGSgFDPQ3BAgYELCjFAxRqIMASmsznIxkmVgeA1k/wVjWY/daeVpUm7GbrVpHR08eA0pL0/j9ZBh2MPAIPvKI6/eECZen+dhCDbUOHoBXpfADQDZimYbCOe4yRYbRzf44DUEqKgE6ILXyC5AxvWRHnbY5OCMjo40HrArjKMWoocPWgAz4TSkvj5W0piB4a6sW04xsoKGWGNvaOD+B+J/DAzGt2Pr6yUJGVKC4Q2oHLZAxfSOLMNuBhmPPWnl5byoYWHsCwyrN7jCCtVGSDS+AoULchhEGTEswhVjWNMJ1Om34YkMio1jG7wHLu8MPUMA9sSNgymq2SEAAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVEjH3ZVBTsJAFEC/rIl7lL/0APTHpa7MZAiwxKSddCNJV2YWatIVTNl14x3AYwhegBuQyAW4g8b5lWJTaqQIC20yadrpfzPz/p8pDIdDOFSD/wO315FtFb4XBnz1V0rB4zioSoSJDXwH8sZFAcalTtIPuJTaNEpr8QjGRfAw9E8IYAEoJ0EcV0trMcavWcAr1OU0C2AdHuEjIsxR6rudnBtXXgpBfQBa+MbU0veRojYJ0UfA+U86voUrKXtaX10gOLMUnuggNbgV+LCtkg04KxFCX/PdAZzxDFmHIjKu0WeyDtNtlWzCrRIGrrwvSEVtO9t78qNWdsCd4KyEl5yUpJ0lOz6XurcuwVySM8ku3BfrSgjD7qnjeFH6UVKOK79B0D22g72A4z3lIUbLBgIsiwb+rASfWjboLWmkRskqiAac0HVw2o/N5yzErvaGnxXBiDUe5GxJ87V3eFJRSjX3fioymOufXNPJ5+PXcHad5iO/B/7uz+IDiMKF/F1LHSwAAAAASUVORK5CYII=)
- произвольная максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVEjH3ZVBTsJAFEC/rNE9yl96APrjUldmMgZYYtJOupGkKzMLNekKpuy68Q7gNcALcAMSuQB30Dh/QrEpNQLCQptMmnb638y8/2cKg8EADtXg/8DtdWRbhe+lAV/9la3gaRpVJcLYBn4ABaOyAONT2/UDLqQ2ja21BASjMngch6cEMAeU4yhNq1trMSasWcAb1OUkD2AdAeEzIsxQ6oednBtfXglBPQCah8bUsveJohYJ0UPA2U86voUrKbtaX18ieNMM7nSQ6t8LfNpUyRqclQihb/nuAU55hqxDERnf6HNZh8mmStbhVgkDl97npJKWne0jhUkzP+BOcFbCS3YlaWfJji+k7q5KsJDkXLJL98WqEuK4c+Z5QZJ95Mpx6TeKOid2sFfwgpcixGjZQICFGziOj9fgSUhNG/TuGqmhWwVRnxO6Cs76Cwm1q73jZ0UwZI0HOVuyfO0d7ipKqZu9n4oM5von37SL+fg1nF1n+Sjugb/7s/gEMvaF2x2yoU8AAAAASUVORK5CYII=)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACxSURBVDjLY2hsbGQgBTNQrAEImKCYkaCG6iwXI1kGhldAxX8ZjKMWYtMEZ9TXx0qayHnMTOvo4AGxjRkY7hpHN/jg1NCQlycBUgx1FmOUMcNC49gGb2L8wFgfaewLchJRno42ZlgA9oNR1CK8fkDG9XkehkDPv5Z1yykhOh5y3GSLGWQ89sD8RVADxB/RC3DaAHIvLNLS0kL5PGQZduMNpYZYY2+wZ6EYm2LqpKWB1wAAkdIb3w/rmIoAAAAASUVORK5CYII=)
-максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEXSURBVDjLY2hsbGSgFDPQ1BAgYARiZgRexQQTJ8qQVQwMTNVZLsayDAyvgJr+gLGs56608jQpN2O32rSODh68hpSnhfK5yzDuYWCQe+lR3GAAE28o9jAAGvqawTh6AV6XdJSn8brJMOwF24pmGwjnecgWGUc3+OA1JMdNtoSBQfY1sguQcUOshy02OYQrOtJ4PGQY9qA7FzOAQ5lxGlJfHytpzMBwV9YtpxjVdmNvUMACTfoPNO8fA4PRrdj6eklChpRgBHZ5rJQRUA5boGJ4x1OWYReDjNve0LRyPmRF9ZHGvuCwyqs3JJjYoNH4iskoYhFyOEQYMSxikPXYjS3GsKYTkLeATr8FT2RQbBzb4D0weWdoGgIAqnONh1hwgCEAAAAASUVORK5CYII=)
подгруппа и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHXSURBVEjH7VU9TgJBFH5Yq7WI4x3ch6VWZJwEKYlhN1tBtjBkCiHZQs0sHYUewNignRewQS/gFZATyBUwzhtYM4sLrkaNBZu8Zmdnvp/3vVnodDrwFwVLoH8BpJ+crpW4fg3IRbjRAGNdrwDsRUi1sxDIZpaRfU5JscOYuKsGwbqqYQW96PBTRR5Cb8IKh75S+bRvmpy1J9/AGP2orJSfR4Bno4iJftDtrmayjlhp+SNbflynxyWHAYzsA7vdYJXzWiNWmCkMtElswUMaUBj6m0XG7gnItofea0UDo7CmKpmAyG/k/FxvHNqHEVMPUfk+NmxbTX/AeaqGYYEUucguZwmmAkmOjZKUe6SK8WbLtpOATbrQ6yUcYNCfJm5sr80FMl4jP5eR3LCBTF/Qu5g2ffghVVYCMw0s2SBqav99LtC9CcNgTaA4o8ZPQpJM4xTc9EcTa2cCanJ+FB+iI9yCLfEoittXseeuA7cEnrBaiCrtIUAHnH7aSCQGMAyrBdw+uKaho3eRh4c0KzQntK7tQ0obsZ5nUVoQEkCRj+X3ZgIODENt466QdWuIxwsbTqkUoj47rD9615lriFKp1f/a7R2DgOPefulm+GpJwU5sW9NULf+w3643qWQ7Mgohup0AAAAASUVORK5CYII=)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACxSURBVDjLY2hsbGQgBTNQrAEImKCYkaCG6iwXI1kGhldAxX8ZjKMWYtMEZ9TXx0qayHnMTOvo4AGxjRkY7hpHN/jg1NCQlycBUgx1FmOUMcNC49gGb2L8wFgfaewLchJRno42ZlgA9oNR1CK8fkDG9XkehkDPv5Z1yykhOh5y3GSLGWQ89sD8RVADxB/RC3DaAHIvLNLS0kL5PGQZduMNpYZYY2+wZ6EYm2LqpKWB1wAAkdIb3w/rmIoAAAAASUVORK5CYII=)
-максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEWSURBVDjLY2hsbGSgFDPQ1BAgYARiZgQOZYaKMxFlSChQU3mai4kcA8NLoKY/YCzrviu2PFbazditNq2jgwevIeVpoXzuMox7GBjkXnoUNxjAxBuKPQxkGRheMRhHL8Drko7yNF43GYa9DLKeu9BtA+E8D9ki4+gGH7yG5LjJljAwyL5GdgEyboj1sMUmh3BFRxqPhwzDHnTn/scRwFgNqa+PlTRmYLgr65ZTjKygPtbYGxSwQJNA5v1jYDC6FVtfL0nIkBKMwC6PlTICygFdOR9vOgF5x1OWYReDjNve0LRyPhTXRBr74gsr1IADRiMobTAZRSxCDocII4ZFuGIMazoBeQvo9FvwRAbFxrH13gOTd4amIQBi5Y3GooC7hQAAAABJRU5ErkJggg==)
подгруппа для любого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAUCAYAAAD/Rn+7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHOSURBVEjH7ZaxbsIwEIYPWKE7FL9DieduVWKJthsSBGX1EKEMgJShQglb3oKWkUcovED7CrQvAK9AS+2QtMZxErYgleEW53T3+f/vksB0OoVzjrOGuwDmNgco/8WiHJ2VCgdcMKAn+w4jgA0D+mKxA0SW1KUNHesTGgTVwgAp7VwZzdIKAG3IyL+Jzz2HtBjwFnD/OVdBLvOx/IfIsEqRv0jkuy6tGU1YhWoJKsXhEDTEff8+E5A3m/Raj5H0cXzLN45jz/IHOhpJ+cwy41WGYHljVmerqsPDt8it/CyRJBc5SK+9W55XVxXlcIjYwzxrg4BWCVdPtlChfipgXATpg1F8xoZZQ4DfVICeZ9U1zfRV4yBbzHMxwKdY+6AabkeqczOYU3gt9koCIlgi3R5HjSomLr+kKfQ72Mf2Ki0WAMfJ2bQa/JmsrtJiqekuy76wKe578rsr1WJ2eWgaK+q6taM6PfwQjpXjtXIB+W0E23Ib883jtp2yxdHlN6B150JupavBPG2zEy9QYSN3QuNMUJtBnrLFgtVrOR9bfjvzU8ch+E0QcYZyY3mwC/kW820qAf7ouO61KH84H9icncXPgolhlrCqQLjL79a/APwBCP9ERLeXDjwAAAAASUVORK5CYII=)
. Поскольку по условию
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEVSURBVDjLY2hsbGSgFDPQzJD/DAyMDAwMzEiYEZ84VkOyPGSLgAr+AvF/EG0c2+ANEs8DijOCxRiBcnIvPYobDPB6pyHW2JuRQfa1S1a1EUysvDxU2piB4basR1YRUWHS0ZHG4yHLsFvWLacExE9LC+XzkDOZGVtfL0lSwOa4yRYzyLjtTStPk/KUlV0Bcz5JhkC8BAoD2Ve4DCBoCDQM7hpH1vuSlU4gBhjvNDZm2MVgFLWIZENgBoACMQ8c3cZ3sQUoVkNAiQfZAJBYfZ6HoSyD7E3kqMZpSCgwBdZGGvoxMBjdjS0vl4KJg6LWTYZhr6xbRilyKsUwpL4+VtKIgeEWUMEfEIYlJnRx5FRKnww4IIYAABvujo1OWQrVAAAAAElFTkSuQmCC)
-перестановочна с подгруппой
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIISURBVEjH7VY9TxtBEB1TE+qQ3NClj3dJmaRBy0RAOkfcna4J0hUW2sJGuoLgPXdu0qfjo4P8A5uUNPwDRPwH4C+EJDs+r7UcFwm7CI2LkW5n32nevHm7d9DtduEpA+YEHiQAajYWAM4WqvNFnE2e7+Oq8FMRyBO5YV+6Axkd+/kmYcvmf4/2Vun7OkK/xusSzsVBWP9oOVg83lA7fz3VCIxJlgXg5VpzX/j5XYVtmeQbbh0JOKkikGXJCwkwBKRB2ustTu0Bo6mOALeodtt+PpbSJMYsO5K2yE8I6NwvwtJHEr8iwhWSbs1kQhPSO4rpMyKdpln2bNKVjDv3MCS/AMihI1Xk5ZZU6gABr0ib+kwEYqIdnevnhDCQodkaeSOWm778I4xee4sgLh0BR9KOau8x8lcSYGmV0p/4WbPx7IxZ1rL8jHFe4U7/FJhOaPQrCuD8MfJXEwjpvZOuKCAGjf2GeCC/xYx9MJRxvukMyio4UjMR8Dst1nAUBMEFF/HlZ3l7vXSRu7Uz77whveM8UDamZ1C+F2qVBHgjyxovlWpu+yCevT3Lt9yRwwgR5e4CiiQcA37oc8E0bSypAH6A2D4pX1Du1JRPVvmiubPxC6nZ8l9cXaFvXGBySVmM9cbhWLEOKzY+ujeTfVzvl1XgZv5J4H/EnAAb1BLYexICYxNelz9O8x+Sv5N6grNUf32kAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAUCAYAAAA6NOUqAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALoSURBVFjD7Ve9ctpAEN5Q26njROsufdCRMnHDyOfxT0fGoKGJZyg0HhXAjApiJDqKpE8qx64S8gQxTpnGb+AhvAB+BcfJraQThwBJDKkCxQ5wrHbv2/32uxN0Oh1YVVtZ4Gvw8/7oAeRgbI98Z/E5XuvlMifxn5vvP4476TOZD3K9lNyq/1LgKwzORaQHEe8BuVWnNc9kB+CvwW/A3atat7uRAXjOLbNDYJXzeT5ele37MVnlQl23ONajfAX+bRfhyt9TzE/aWTl/RPsFwBG33fxStDcZfEbjtCF/O07pGQP2veq6W1lAt6yijgCjJODSXLe6pQPeFK2Wrq6fGthgVW8/aooOl7PAO071KQMYAvJ+lqakgndtnkfkXylYEDwdOIEOigSDrOyIcgHcqcUOGsBcmZMKJOL+Ao1fq3GJ7hWGHxDhFrld/yeCN+6GtcO3C5/SgEfVBzbIwo6JXGX+mpv8rV9sx9mM4jGzPeHD2TsRf6jGp7FihnGGgLdZ6J5Z7cXsX4gZuuMN70Wabzi796zsHqpCmcVMzk9sz37CEfr0vNQYlfK+j118haDfSPCyQGI8motQPhV8rVZ6TJuZJzBJYqkWIcu8G4b9hr7bJHIiHxUuTnnykWykDv8JfNpl137ONbhehPKJ4B2ntrmH+MWnolLpxYuAIxKxpKNO0HlH0jUAp/dLrZI+RXnhE879kJnegRRD6r4syNLgqVsmw/cUrNutbVAR4iqc1eh5OqKSFF/tsDxlNE37SQBVyhOlKR51Wcx4+yW3T+TMx0VwFqb4GE5dbEKlHsrERC2aJzSsZhqF45eSSZvuPPlTPsOwjtWNBfcJoTOi+NJH1yuejOHrEO75JwmNpqHBD9CPL+exS54S8ZNkukN0oaB5DYUmvGj4a2kqrvjG7X5W59XY8iIlN1vY5h8JXHQBUmLQnNM+wuNxFP2fcLRSQeeC/99tDX5VwZMoCvDNlQMfCt4g/sKzfp9fVfsLaibrW5B8sEgAAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHZSURBVEjH7VU7TsNAEB2ogZrfcod4QglVtCwCygjFlquACxRtAZFcAFqncwEHQDQJHRegIHABrgA5AbmCETsODmvLCQ4KiAJL0+zu7Jv35s0aWq0W/EbAP9CfANLfjI7ZJH4MyEboaIBIxxsAexVSlcYCmZUVrH5GSVFiTNxWPW9B1XAP3WDnS0YOQntQFfZcpZbyzjQ4aw7OQESXKuUuIcBLzIht33thOFdIOqpK0++b9JM4PapYDKAPTHSTC8PQm+O8dpAwLGQGShKr8JAH5PvucpmxOwJCJ9g11zWj55ihsT4WiPRGzs91Ys9MokodROU4eKhlfUlkjfsD1lPV91eIkY3sMltgLpDkeFCRcoNYMd44MeUk4Nhd6LRTCjDofjguMvdGAsVJKM5kIBdNoLgv6Fx8NL2Xlcd0YKGBJRlETW0O5wLtju978wROjR+Y5FO2bH90Yc1CQA3O95NLtIVPYFU8ivLaVaK5bcENgaekFqJKOcTWAqubNxKpAfT96gqubV3T0NFa4OAuzQrNCe1r+ZDcRlWPkijPCCmgwMWdYTMBn+MKtYzrQtaNIY7GNpxcKUQ9O6xTfeviZyjn6ZkqUAICln0z0cswaUjBjk1Z81j9/2G/He92TjskwMCOawAAAABJRU5ErkJggg==)
перестановочна с подгруппой
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIASURBVEjH7Va9TtxAEJ6jhtQh8aTLA7BLyiQNWgYB5UXYlhuQXCC0BSC5ILn1ddekT5dAF3iDO1Km4Q1QuBeAZwCxY3utxRjEUZDmipG8s59vvvnm5wz9fh/+p8GUwD0HQMfaDMDxTLu/tOP6+S6uDT8RgTyRq/ala5DRoe/XhLvWf1PcLa6cLCMMO3xu4JyZUK5bDhaPl6TNwkQlMCaZF4BnS9sHwvfvKNyTcb7mzpGAozYCWZa8kQBjQBqlg8HsxD1gNC0gwBWqnX3fH0tpEmPmHUkb5AICOvWDsPSRxO+IcI6kd5/VhCakTxTTJiL9TrNsrg4oY3MHQ/IrgBw7UkUJY7kmlfqGgOePSf8ogZhoS+f6NSGMZGjW6x/25C8weukjgjhzBArpZdyzpdp/ivytBDhTpfSXuvGqGjflZ4zrFc6UpWdMaPR7CuD0KfK3Ewjps5OuDCBG3YOuuCe/xVR9MGZligZN8lWf1LMI+JmWZ/gVBMHfpvws72CQznK2tua9D6S36vFrNKbXoLwXOq0E+CLLum+V2t7wQVx7O8tXTmbGCBHlbgFFEg4BV4YcME27r1QAf0BsHDUXlJsaO1l7rQSqRXPN5tePX1x8Rz84QL2kykX1s1Ksx4pVo3tZ3+PysKkCJ/MggZewKQFu0OZ2fbngZRP+a/45TT9IbgFvOINhUi9t2gAAAABJRU5ErkJggg==)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFwAAAAXCAYAAACGcCj3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOaSURBVGje7Vm9UtwwEBZXA3X4Ee+A91KG6saIAcpL5s7jCsbFDaMCmHFBiI/uCtInoQEqnoAUkAeAN8gcvADhFchEK1sXndD5/sRB4WIbS5b3+7T77UomR0dHpLDJWUFCQXhB+NtwlJAptLfgh3PCM3AltD4ElDKbekkycSypwSaB4NQyZvXB9M8VpgDocaVx4I2KmdgXJadiwb+EwH2YJHO2OTs+3U/nkCcIm+tjkF3qRaYyOU7ZVdRqTXc952yZEvKAflB/Z9+OQZhY2xWmViuaZpRcQS3ZdCopEiShj4wny+bYQaPiCaCPNhKGITpb5yGPbDmHrl3kfacO5MxGpCBwD4LmhmtMSRLOAaE3GOlOCJe7uEiubc7FcThfpvQSndPBDEN0HFcXgJD2IOCQzLzvIPhyufxNrHenRx1i8ME/VOu7xtQMYINA/cwJ4Ziq4PuHAsS97gDqVgCQhCFs56VmfmSQ+0Hfxfke8a7y5iJw9JEzuqsTkGLg2y+FKZUz73ZYDqwPuQ/bFc4/YEQIbdzTUxKdlSmcIwM9yQlhHfVRALurxvFCv8Ijo2iRXedlAff9jwg6JYD+VmmOGPRIdo1JZcywWW5dCFORN/k73TmpcRAcqygdRU6eFTshKdUomu1FPGpwHuESNAu29GKGxdMmJ64xKcL1zRuJcCSD1ZKVTjESaRrH0QwD9hkBpIXHnnrDtokd4kVk2d7pR7juq54RjUZlxZSTUTCpNnEYwm3taC7hO77/SX04A/yLlZe+q/Sse+TcViyyKGmjZJgt2kBSY0nnfpJiyoaKVErLP/Xno2BSGYPyZwsum6R0zgtSNiUPewFjW7r/XTsju4el1RNM8w5g0ZdiT4rjIgUBKzkSau4cZ6wqtTSn0Bm7b9qUvWjSW7OrwLlRVJ0VMvEliuOZZ/131v2MiwlJXV2CHzYsNpxpHw9t9QwLOWV81xrh/wuaLGptVYjeM76lHSSeOpZTYOpAv9p6XdlJ6GsMsB5+1zxkdPlqtJa6z+NiyiXcOKyZG6AH04vepcg2y0ijcSzVebgJ43h+0vcmvQhH/V+j9EIPKr0vz2rTn+xk29bfd062bLPGOOr31HiMZEM+XoNwWWzxaG9gNA9Cva4jnJNNvPq5iwsta6SLFm6ShCO5gvATPbukxFkCSmVidr4oYSE29dsp4aY+u47y17COxg94Z9RdM+iDrY4VPwUmfZ9ekFAQXhBemDv7B16DqCKSXIA4AAAAAElFTkSuQmCC)
. Ясно, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAUCAYAAAAHpoRMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIHSURBVEjH7VaxTtxAEJ1QE+pc4qHjA/CSMkmDVoOA8hLZKzcguYhOW0AkFwjW112TD0gH6ZD4g4OShj9Ayv0AfANRdva81spaksBJuSty0ursuaebp/fejA3D4RAW5SwMkcUnYz8v7Fni70fqS811FBfDP5tMXYht+wcPIPKzsK4JD2z9pzsbWxeEMHbXHZw/JhO7UzzekTbrz7bJmKKXAt5sfj5Kw/pA4qFQ9Y6/zwWcxchUVfFaAEwAaVyORsszZcZoWkeAe5SDw7CuhDCFMT1P2Db8AQldhg3ZnlzgV0S4RdIHMwfYZPSeFO0h0nlZVS/b5kKZECOlOAYQE0/Q2azEjpDyGAFv/9ae35JRRPu61q84FyIzu22TwCKH0ZvvENIbT8bZI9SJtfPLUy2KkmEFpNQf29A2mehaxBifLVaA7WFMZvQaJXD5VIviZDL64OWdNkvH/aN+2rWIMU1uJqyYC3dRb4cEZyYTKjC9h9MkSa67FrEFo1G5zCpwRt6S3m9HuhPqzv55fDeFU1BV/TdSDj6FYM6K3RX33grGpGlee4wb7yYfZdlfseSuIM2/xxo2U3rnyDaDESXTLLUHPqHfLPvGKn3jZu1CdEtRnTZKnrCSbSP/eyTAVtE9rrHaodJzfTb5zM2djJs6pbbm/tRmIryDeHfFMvVPyXBWYrn8/3L1p/MLmtjVgJ7qvdsAAAAASUVORK5CYII=)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADQSURBVDjLY2hsbGQgBzNQVSMQMCFhRqI0lpfHShkzMNwGavgLxP8MI2v9sGlG05TG6yFnMjO2vl4SxM/zkC1iBGo2jqz3xauxIdbD1qO4wQDG7+hI4/GQYdjDYBy1kOTAiTJmWMhgHL2AJI0wG41jG7xJ0lid5WIkK+u5Iq2jg4dojf+BIRltLNuD7Gdi4pExx022GNmJ6FGCVVNtpKGfrFtWCTQBMAOdbOwRWW+HUyNME5D+j4qN78DiFqvGLGCEQ1MMMv4DjMf5tE3kNNUIAH++SWJ8VGHCAAAAAElFTkSuQmCC)
-максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEXSURBVDjLY2hsbGSgFDPQ1BAgYARiZgRexQQTJ8qQVQwMTNVZLsayDAyvgJr+gLGs56608jQpN2O32rSODh68hpSnhfK5yzDuYWCQe+lR3GAAE28o9jAAGvqawTh6AV6XdJSn8brJMOwF24pmGwjnecgWGUc3+OA1JMdNtoSBQfY1sguQcUOshy02OYQrOtJ4PGQY9qA7FzOAQ5lxGlJfHytpzMBwV9YtpxjVdmNvUMACTfoPNO8fA4PRrdj6eklChpRgBHZ5rJQRUA5boGJ4x1OWYReDjNve0LRyPmRF9ZHGvuCwyqs3JJjYoNH4iskoYhFyOEQYMSxikPXYjS3GsKYTkLeATr8FT2RQbBzb4D0weWdoGgIAqnONh1hwgCEAAAAASUVORK5CYII=)
подгруппа. Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJYAAAAXCAYAAADp7bafAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAQSSURBVGje7Vm7UhsxFBXUQB0e4h+wnDJUnkUMUDoZvLMVzBYeZgtgZgsgazoK0iehAap8QVJAPgD+IGPzA4RfgInuemVkWfv02jITFbfYl6RzdO7RlRadnp4iEybKDkOCCSMsE0ZYekEhNAUxCeMwwuonZDqKKcWE9Z6J1ymTrGxvFKKBZ8E22ULEvtSNyyb4vNY8qoxKYFkSSNdcDtwIPLqCEXpkH75ga++wnyh0CffDYBP3ek0enCCYV3WwZ+HD6Jtn4rQ2hiRyOk40vfHDc0xv3LOzGd24zs7cGYrRDdkOtkYgqnQuNM5l7IMGQVeqTljjB8RubfZNJMJP1AtW5DaOmrUKA/akmui8JEZtPSYRGb6D138k9TVuXEHgzBOE78C5yhJUFi50z2UsGdVq9StBqCNmG2SgRawT3nCYkUvoVjUY33cWqhj/hMGIg89Lou/XF9k42lkAAYFJfenC1bLJJiKNq2EFlYeLQpiZu5aFOZYIaMCjeF8kBKyVWN5u/7V1wgb9IHYI669NSOA4ZDfJWtMzHT1k/R7er6DKTdK7unB1l6TKfREeinBRGDOlxymYO1n7V970LOsjNNAlBP/hNu5ZZFdUM1zXPO8DZDdbww9ES4XBhRac0a4HCHHIBqzlAKbu+4tpxWLoCkv0NimTdeHiDljUufNyUSZmLsy8mNUkUHtHtEco/FTWCddey3snDiZci4l9zrOsKJkDBSiz/7rrzsWRCvVCkrB04uLCEidslFwUwUwJPS4Ts3LwdDtYlZ2g2aytytbJ3+uquXHl++4sDBAG3C0E46077xFEj1SWNapv0oQ1Dlx8O55VWKotfxlcjAhzJw9mhXX2WyRXK8bVX+L9Pcv6xDuKJvU3rS5/4+80Kug6rmCN2myDvcvb4EzLgsKS05bCUeN6LX4HJ0C1FPbO28IlLuThwKZ0J8/uOY6LFMwdGTNfLsUEHRZzn/Jctz7HLPKz6/uzA2ce0U4E3gt3J8trF2DHvUlF6AXONuA5s1ACOwgQjSqjPErr4bqfUHBL2SzHlLp4x/fyjmacuIDotWXyXcajwtk9EyJtfg+Ka0y9/QwHk6lcTAJmRYHIQtrOglW+p97OwHsRMeLz6KDtuRcpBV+D4C+qc5NwFyO2k6FN6Fs+jBwnrlhhSQeZstBEoSidJycXk4BZ+7+0vPafXnuQO8f3F3TgUZEMtco6xj/E5BHPtaJ66W906t0ueiShKyZOWLzGGPY3jzJbIUulJUAHyWEBDL90JIzygWncbygjrIKiQpXGdVk/pweci22Tx40LhMRIvuCOGS7NisThzhqdSU1DcRxXX016yJi1CkuuGcp2LV3Rq0kyuE9/fYMfVXXmW8b85ifTxGSGIcGEEZYJIywT/3n8A3MBAD3YuiVhAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIISURBVEjH7VY9TxtBEB1TE+qQ3NClj3dJmaRBy0RAOkfcna4J0hUW2sJGuoLgPXdu0qfjo4P8A5uUNPwDRPwH4C+EJDs+r7UcFwm7CI2LkW5n32nevHm7d9DtduEpA+YEHiQAajYWAM4WqvNFnE2e7+Oq8FMRyBO5YV+6Axkd+/kmYcvmf4/2Vun7OkK/xusSzsVBWP9oOVg83lA7fz3VCIxJlgXg5VpzX/j5XYVtmeQbbh0JOKkikGXJCwkwBKRB2ustTu0Bo6mOALeodtt+PpbSJMYsO5K2yE8I6NwvwtJHEr8iwhWSbs1kQhPSO4rpMyKdpln2bNKVjDv3MCS/AMihI1Xk5ZZU6gABr0ib+kwEYqIdnevnhDCQodkaeSOWm778I4xee4sgLh0BR9KOau8x8lcSYGmV0p/4WbPx7IxZ1rL8jHFe4U7/FJhOaPQrCuD8MfJXEwjpvZOuKCAGjf2GeCC/xYx9MJRxvukMyio4UjMR8Dst1nAUBMEFF/HlZ3l7vXSRu7Uz77whveM8UDamZ1C+F2qVBHgjyxovlWpu+yCevT3Lt9yRwwgR5e4CiiQcA37oc8E0bSypAH6A2D4pX1Du1JRPVvmiubPxC6nZ8l9cXaFvXGBySVmM9cbhWLEOKzY+ujeTfVzvl1XgZv5J4H/EnAAb1BLYexICYxNelz9O8x+Sv5N6grNUf32kAAAAAElFTkSuQmCC)
не является нормальной подгруппой в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEXSURBVDjLY2hsbGSgFDPQ1BAgYARiZgRexQQTJ8qQVQwMTNVZLsayDAyvgJr+gLGs56608jQpN2O32rSODh68hpSnhfK5yzDuYWCQe+lR3GAAE28o9jAAGvqawTh6AV6XdJSn8brJMOwF24pmGwjnecgWGUc3+OA1JMdNtoSBQfY1sguQcUOshy02OYQrOtJ4PGQY9qA7FzOAQ5lxGlJfHytpzMBwV9YtpxjVdmNvUMACTfoPNO8fA4PRrdj6eklChpRgBHZ5rJQRUA5boGJ4x1OWYReDjNve0LRyPmRF9ZHGvuCwyqs3JJjYoNH4iskoYhFyOEQYMSxikPXYjS3GsKYTkLeATr8FT2RQbBzb4D0weWdoGgIAqnONh1hwgCEAAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGgAAAAXCAYAAADnaAq1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOgSURBVGje7VnNTttAEJ7SK3AuheUZijc9llPkbAT0lpbEygnqQ4T2AEg+AHW45UDvbTnwc0I8QCsBfQB4gwp4AcQjFNSddQzrzcaQNLZpa6Q52JjZ/eab+WZ2gc3NTcjt6VoehJyg3HKCTMAAngEcDj2FfQycIPEz1LaI88P790MIXn2OD5TZX5JB8at0DqizmzU2h5KtYmPN6hd7xwufsykCcCVWviX20qr6uxqFHbHQrbAboLWd9vMNAL2s+/6YaYElm6yKvcm/ofXmTBoESXJI+chttYazxtZqucNlAke06s8NVOLEBvdMmxObWlE3I4MB5Jpxf0r3sdYoWiIg10DYsR6spEyuScoHceuljc3362MUyClW0kAIQoeFQuEzBbhQmcdssKm9EW4InxmBYxMIz6u/LBDyDUFQpznbT7CjsqObub9g8OPWywpb06GzojL3BkIQOsOFOSPLYNX2VYmgNl+MPDO2LsBeqhtFvXUo9R2HfhCZetFNIh6ye5kxmJAhU/AtsI7j1ssKWyCv1lmvsTC+5Lb9Dh0FTsnPsDS5TRfVbMLnIudv2AScCE1fUaUBQdUs2Dc16qRMZukEO4mTnKywyYoUvnpVE7Mj5iyoZY4N1SgBlK3zJn+hgpDaTJ2tQHej2Ze0xGEPiSMoS2whQSrZfU9xrOpPR7OydNJoFKd1CQi/k01X6KvnuSMIDIEGDba7BDxm9O5V4h4iKGlshzFjeTeC9FFdj4dBAqKl3s6WC0IK39X3S7b9PtxgEBj7BytMfgm/CSTA3BSxyQqf5xhofdxNUuKSxBaO092S0iRxd+e1dtIheQ5jC+r+I0y6bmVUlPrHiuuORg9bsBuOk/id51XG6WRpO/xOBqZ9FsAsElJAccLB4JukiDNWkX3gEU29p/OP9EfO9KkrLWxIQmmSfjXhMWENzlH0PHzXEIMLYXzZWEHNOp25kw9SihzysORfM77Q8V3bufr7DlkySFFUxsgn0zmjX8OA64fCtLDFEqTdbOiEQZebi8zvqfSS/uMqktMZPa143njaeLoRhNVbJuRATUT1XNRcYa/whiO4lbivqEwJCvU3iesfWQkoW543kjVBcrgQ06KOUz+4BtdTnbcSmZGzUZ16C9b8flKXqLKSxEicJi4kQxC0rVYvyqIpCdVKF/ifz4vBQ+8/mREkT/GKlqd1iZq03fUorc/FVjrAryAO5MrUi//bf4T9LZYHIScot5ygf9h+A9B4O7Dz4tk3AAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAUCAYAAAAHpoRMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIHSURBVEjH7VaxTtxAEJ1QE+pc4qHjA/CSMkmDVoOA8hLZKzcguYhOW0AkFwjW112TD0gH6ZD4g4OShj9Ayv0AfANRdva81spaksBJuSty0ursuaebp/fejA3D4RAW5SwMkcUnYz8v7Fni70fqS811FBfDP5tMXYht+wcPIPKzsK4JD2z9pzsbWxeEMHbXHZw/JhO7UzzekTbrz7bJmKKXAt5sfj5Kw/pA4qFQ9Y6/zwWcxchUVfFaAEwAaVyORsszZcZoWkeAe5SDw7CuhDCFMT1P2Db8AQldhg3ZnlzgV0S4RdIHMwfYZPSeFO0h0nlZVS/b5kKZECOlOAYQE0/Q2azEjpDyGAFv/9ae35JRRPu61q84FyIzu22TwCKH0ZvvENIbT8bZI9SJtfPLUy2KkmEFpNQf29A2mehaxBifLVaA7WFMZvQaJXD5VIviZDL64OWdNkvH/aN+2rWIMU1uJqyYC3dRb4cEZyYTKjC9h9MkSa67FrEFo1G5zCpwRt6S3m9HuhPqzv55fDeFU1BV/TdSDj6FYM6K3RX33grGpGlee4wb7yYfZdlfseSuIM2/xxo2U3rnyDaDESXTLLUHPqHfLPvGKn3jZu1CdEtRnTZKnrCSbSP/eyTAVtE9rrHaodJzfTb5zM2djJs6pbbm/tRmIryDeHfFMvVPyXBWYrn8/3L1p/MLmtjVgJ7qvdsAAAAASUVORK5CYII=)
- нормальная погруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEJSURBVDjLY2hsbGSgFDPQ3BAgYELgVUxQMUaiDFkF1FSd5WIsy8DwCqjpLxjLeuxOK0+TcjN2q03r6ODBa0haWiifuwzjHgYG2VceefWGMPH6PA9DoKGvGYyjF+B1SXl5Gq+7DMMesK1otoFwnodskXF0gw9eQ3LcZEuALniN7AJk3BDrYYtNDs7o6Ejj8QC5wjhqIVrgMqIGMAMTTkPq62MljRkY7sq65RSj2m7sDQ3c/0Dz/jEwGN+Ora+XJGRICbpNMDlsgYrpHVmG3Qwy7nvSyst5UQyJNPYFhtUbXGGFaiMkGl8xGEUsQg6DCCOGRbhiDGs6gTr9NjyRQbFxbIP3wOWdoWcIAGTOjqnJf0uTAAAAAElFTkSuQmCC)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVEjH3ZVBTsJAFEC/rNE9yl96APrjUldmMgZYYtJOupGkKzMLNekKpuy68Q7gNcALcAMSuQB30Dh/QrEpNQLCQptMmnb638y8/2cKg8EADtXg/8DtdWRbhe+lAV/9la3gaRpVJcLYBn4ABaOyAONT2/UDLqQ2ja21BASjMngch6cEMAeU4yhNq1trMSasWcAb1OUkD2AdAeEzIsxQ6oednBtfXglBPQCah8bUsveJohYJ0UPA2U86voUrKbtaX18ieNMM7nSQ6t8LfNpUyRqclQihb/nuAU55hqxDERnf6HNZh8mmStbhVgkDl97npJKWne0jhUkzP+BOcFbCS3YlaWfJji+k7q5KsJDkXLJL98WqEuK4c+Z5QZJ95Mpx6TeKOid2sFfwgpcixGjZQICFGziOj9fgSUhNG/TuGqmhWwVRnxO6Cs76Cwm1q73jZ0UwZI0HOVuyfO0d7ipKqZu9n4oM5von37SL+fg1nF1n+Sjugb/7s/gEMvaF2x2yoU8AAAAASUVORK5CYII=)
- нормальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFZSURBVDjLzZQxTsMwFEB/OwMzFbgbB0h+ewPkeihsHZIoU1EGVLlSi5QBKidbxRFgKGXsGTgBV4CegF6hAv8Q0ypyQgcEDF7s7+f/7P8NaZrCTw74FeACoA75KN0IUINNXK0S6CPMdNAaAJehUg1bzMRzznXMO8UxIUffKisPzwDYSkjlFNeuL09dBrDSB74WDywF6iznNmAcR/sdbN4RkPHBeKc7VCpscM6HCLDEIOlur0mOF5zjhHSLa6XAJMBuOwz7RSCptoXsDzi7sumWAgNE5Sl5Io7hyWiRqkBxIxN5SPOAwcNOZUO6iIH6ukf050aV7tM8iE3XCiRdE2yARpXmtO64TNcKJF0TnG1m7nOrJW6j6XQvO8SFR5N1JZCqPY57R9js3Pei6MBkq0vnjVSpe3SmmJeLfpRFvRIoBRt9dkfWIS+UpZLCMaqb7skH+rO/+xz+FfADV8La1xvtE+YAAAAASUVORK5CYII=)
подгруппа. Это влечет, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAUCAYAAADRA14pAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJZSURBVFjD7VfNTttAEJ7QK1XPFC+33htPemxPaLMVPzdX2JYvUFkoQntIqHxoEzu3XHrvjcINHoGmL8AbQMoD8A6IdMexG+RsIho2oSocRpbG2tnvm/1mdhba7TY8JntUZJ8I53YCsAAAzwBOFrSLAEqD/6mV5gHUFKYRR6cTLlYZnKrVN4DeoW5R0y1vqpg3ACtXopG8njVZk5jGbuLZcKQLHkXBSwS4BCZ+hJ3O4jzlaAKT1pkF+AWW6N4OQFLxkH1lDM6ZkPUZSHasFE1h0jpjV7wTAr8A4GUQx0tDP24g500G7FzIuGyCqKNqLgydF4Kx40kxTWHSOn0hdqRcfcvAPsuDpxlGv7XH2b4JORPRKHKW1an1qO4qlcq3SYBNYRrNZBwscS4/0NcGdkYg+ko2PmLLjeUrYUF3WjnnnXRI1L7IwUuOH8cRNolJLx0VkIJTI0A33lAZbGCQrFFG8w2nIRxLUV4BuFKy7DlRtAzQ/1OzEwkbxKSVDkmDrgLKnKqP1hshd/J6KTaN0XtQf08WT8wGuGB8rzFY0y9NIjwtJieLrSVMgKV0LNveSnLQHsIhsOopBaPGwi34CfbWkY7U59qqTadXsqrdMIqe3yXbNcHqat9rIr7LMSwSvg+mTA09iq0lnAS4Rpunht5BmlnEJtXYUIrZ/2zDwilsk89H+I5+sv43Uh8QHx0Y7osp8XF9LGFTltbbHKavu9jMCaed0/ff/ysPhZkSpklpl7NPZbe5WWwUD2U0XyvC+7cnOHNzLsJBXk9M1OoPTTa/CYq94ek9/L/bb/Rrqvke8PuQAAAAAElFTkSuQmCC)
. Ввиду произвольного выбора
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVEjH3ZVBTsJAFEC/rNE9yl96APrjUldmMgZYYtJOupGkKzMLNekKpuy68Q7gNcALcAMSuQB30Dh/QrEpNQLCQptMmnb638y8/2cKg8EADtXg/8DtdWRbhe+lAV/9la3gaRpVJcLYBn4ABaOyAONT2/UDLqQ2ja21BASjMngch6cEMAeU4yhNq1trMSasWcAb1OUkD2AdAeEzIsxQ6oednBtfXglBPQCah8bUsveJohYJ0UPA2U86voUrKbtaX18ieNMM7nSQ6t8LfNpUyRqclQihb/nuAU55hqxDERnf6HNZh8mmStbhVgkDl97npJKWne0jhUkzP+BOcFbCS3YlaWfJji+k7q5KsJDkXLJL98WqEuK4c+Z5QZJ95Mpx6TeKOid2sFfwgpcixGjZQICFGziOj9fgSUhNG/TuGqmhWwVRnxO6Cs76Cwm1q73jZ0UwZI0HOVuyfO0d7ipKqZu9n4oM5von37SL+fg1nF1n+Sjugb/7s/gEMvaF2x2yoU8AAAAASUVORK5CYII=)
, получаем, что каждая максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
нормальна в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
. Значит,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
- нильпотентная группа и любая максимальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFjSURBVEjH3ZUxTsMwFEA/nSv2Qv/IAZovRpiQZallLFISZaqUqfJAK2VqnWxZuAPlGi0X6A0q6AV6BxD+UVKFyoSmwFAifVmK42f7/W8HkiSBvwr4X3DznJhocPtNf6MWPE3DpkSYm4HvQN7MNki7dJv1A26k0p3aWjyCmQ0eRcEZAawB5TxM02ZtLVoHLQN4hbZclAGswyN8QIQVSnV/kHPtymshaAJA60DrVvE+9qlHQkwQcFWloxLuSzlQ6uYKwVkW8EwH+dOhwPE+SqxwViKEuuPWAVzyClmHT6RdrS5kGxb7KLHDjRIG5t7X5Mc9s9oRBXG3POFBcFbCW85K0qySHV9KNdiW4E6S80Rbz8SngxFF/XPH8eLiw6wcc79h2D81kz2D4z2VQUVloRiOvoTHAXXNoLcsyH/MdkE05YRqJTsIsNn27ySUq6gS/pM4Xjgn2sDHvw7PE/piu8SO92fxAfhgix8v+TCSAAAAAElFTkSuQmCC)
нормальна в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFwSURBVDjLzZRBTsJAFIb/wlZdq6Hs3EMf3EDHSUR3LGjTFaYxhNSEYrpQbNkRj6ALwCVn0At4BCMXMD0CBuel1iBpkYVRFy9tXt98M1/nzaDf7+MnA78CnAA5AHmgns8cCGhxDcdcWwk0CUNV+AbQ1A6CnTRYr1E+UY+5ep/pstX5Vjlo0DGgR9INysvfLlv7hg5EasKX5QkzgRZhpKUAfd/ZPKTiLQN10fbW+oe+b+8KIc4JmJIV1hZVXUGnQlCPdckOj9YCsm7VtpvLQFatSrfZFno3TTcTaBEFjcDdkwU8KK1uoipJXrmhu63yjyBrtFbbsC6Rdf2x22OQOU5UpReW4g3RojTdVCDrJsW8MQxMVDm3SjcVyLpJsRrsQTeeKhV54wwGG7xS08B9lu4X4Jy13HqBigd3dcfZ4lxoUU314iur8ulRK6W4Xc4ugEluJbAl9Q53fRzGM68y9GSpKtvNhdMz+wwyh393Ofwr4Dv0nNbz4AqdGAAAAABJRU5ErkJggg==)
. Предположим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAXCAYAAAC8oJeEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIFSURBVFjD7VjNTsJAEB49o2dR2neAwaOcyLoJeCSmND1JeiCkF0l6QLLlxsEXIF7Ah9CD+h4mygsQXkFjh5/Y4LYSWAoJPUzSbHc73zf7zexsodPpwL7a3hJPyCfkFwcBDnw7JAtdGJhDz7EBVohNOmgi9P1F3wA4tIRIy+Y0mNaczoEvtLxSXORVYgt1Igy8AtDG3BHZxXetejGnAYxB4y92t5uKW66qsEkHu107xTPwKnPgutZpXtOeyAGaXnld6UosMoVUYpNH1uFZZKyNAMPgRwiYiSgsC2tRsltSul9SQ7MfuesKsUkHHYa1ouNcUIQ11rgNyo0cVhEG/4HclKnEJpUVQ9Z2POck6GCSS2jeC2GlF6Mel+xVY5PKihuiQM/TKFYHrmsfceR3VECmxWZ1ya8j+1WxhQVVckyw6/li/8i4hQx/43m9Ny8u1Rw8ktNtSH4VbDM1fAZT5A95iozrVs5Qv3yo2PYxjXkmlum8pLOS3vvyQqqk/oeakc2D4qZnXWw0N5K8Z2HpV374QREmmZ1z50YqVYk8yWndMAoNg5WK9VZOFfl1sf1LXglI2g1df9fzvEeFaRsNUBiujZMXBi9Q/gV3ZReMCiGlw0bJG4zVKCdNzm92ZddnBe/D7whHix2hMiez1vLZLzqjOC86O3GfnxSdLV10kp8ZCfmE/NL2A13MEKRkYasnAAAAAElFTkSuQmCC)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAXCAYAAACoNQllAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAL2SURBVFjD7VhNTttAFH7pGlgXyuQO+KXLZhVNBwWWUeVYXhF5EUVeAJIXFDnZZcEFUDfQFSdoF6EHgBO0KrlA4QpB9RvbwaQzthM5kEqO9KQomZn3vW++92PDYDCA0vRWklAStOIEBZ8KWVFnrRRBUXBvElaZNyDfxH1A60J3bk7f0q+F7KzRPTGWQZQOixac47Q2BINR8H0S2SPjveN5wElymBg5w+Fa8ncL4YLOA8Cx7fubqr09zo7DNTBBu9+k34ZDZ40woenvF6nwk24DGbBfwvV3MgmiDRG4KTCyvo1NApwXXODUYGz3apacZ+QBe1CBknsBHlTk+r69icBuSElFEBTFNdFh0dwcu1ctbiNcwra41gU9uxat/p7qP6mEbbhWgfI8e6vG2DciSLe/b+EeYPsyZ1nILBFEugHsNpOg+OaYcA91QechKHRojHTp47tiBzk/RYBxkgQKwEL0bRs7aelH+xkYt6r/o/SdKG2mFs5NkCRAA2x66wrZK284hUiXY6fhuh/ovKCuHSXTjgiTODTBJLHoFDav5SIozG0Y66Sbpa6ZND3SEUTBceSnbt99myRIno/WWYwjLfiYoCS5S0+xULYBARqnbQO+Buq608k+L0HkR5h+farY4EI8z1kXKD7T+rB469Mri6ClpVh0c3fUypWzDHWwRFdbNMV6nH+Kg4+I/CFq1fMYnLwIjYpfNcVkbRDskDpY0EIxlmVYl563/KzpVuWQ1nle6x1WP35pOc7GlMiI+Kd5RKo4dd7KagLzGuEivFHcldQ2H5KULUs6qGua9Z7Jm6qZhKSenJme5g0y/E3BUbq9F+6BMjVSirRqOl9YPWFp+RP7nRXC4gMW3X61+rNaE+dUdP8Z6KRjvLE9b6vIRwKqV7uMXanSYaUeVn1T1AlkUgXKKZXGAs9bL4oc+aiRsxa+KkEm5x2qJZYQB2lzkVRS0L6LACvT9gXJWZig6HHgO+XuSwP+L94HyYKaY6IuX5iVbxRLK0nIsL/1XDBez7JEwwAAAABJRU5ErkJggg==)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFwSURBVDjLzZRBTsJAFIb/wlZdq6Hs3EMf3EDHSUR3LGjTFaYxhNSEYrpQbNkRj6ALwCVn0At4BCMXMD0CBuel1iBpkYVRFy9tXt98M1/nzaDf7+MnA78CnAA5AHmgns8cCGhxDcdcWwk0CUNV+AbQ1A6CnTRYr1E+UY+5ep/pstX5Vjlo0DGgR9INysvfLlv7hg5EasKX5QkzgRZhpKUAfd/ZPKTiLQN10fbW+oe+b+8KIc4JmJIV1hZVXUGnQlCPdckOj9YCsm7VtpvLQFatSrfZFno3TTcTaBEFjcDdkwU8KK1uoipJXrmhu63yjyBrtFbbsC6Rdf2x22OQOU5UpReW4g3RojTdVCDrJsW8MQxMVDm3SjcVyLpJsRrsQTeeKhV54wwGG7xS08B9lu4X4Jy13HqBigd3dcfZ4lxoUU314iur8ulRK6W4Xc4ugEluJbAl9Q53fRzGM68y9GSpKtvNhdMz+wwyh393Ofwr4Dv0nNbz4AqdGAAAAABJRU5ErkJggg==)
разрешима, то в группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFUSURBVDjL1ZRBTsMwEEUH1sCaCtwdB2im3AC5XpRlF62VFVUWqDJSWykLQE52FUeATcs5OAFXgJ6AXqFQTxpXUWSHSCAkIn0p8oy/540ngTRN4TcFf2Jonj2jfZJ3YyGH3isNJcLcJH0C4DLUuuHK0X28NDlfRmsm1Phb5O0GthJKt8qx2+uLgAGszIHv5QO9hgOEhcswjqPDDjYfyZDx0aRWD7UOG5zzGwRYoky6xZjiOOQc7wm3HPMaJhK7GIbDsiGhngt1NeJs6uuv51JQ97U6E6fwYrEIVaC4U4k6pnVAOa81NoSLKPWujzhYWFTqp70QF67TMMPNk62hRaU1gzupGicnrk3ONrPgtd0WD9FsdpAdEsCzrbrSkKY9jnsn2Ow89aLoyFZrRueDUCluKsV8XKbFr8NpqAQb09RvhW9UpVaiZVHzr2e9U91L+R9/m59oA39q2OEqaBHoAAAAAElFTkSuQmCC)
существует минимальная нормальная
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADySURBVDjLY2hsbGQgBzNQXSMQMEEx4yooTVBjeXmotDEDwx2g4j+ybjnFEUYMi4xjG7zxaqzOcjGSZWB8LeuRVQTi57jJFjMwGN+Jra+XxKmxvDyN112GYQ+DcfQCmFh9pLEvMh+rRrAiJNNhBhlHN/jg1RhlzLCQwThqITRwGIHOLGFgkH3tkVdviFdjtDHDAgajiEVATcwg22VNTJbLynquSOvo4MHv1DwPQ1kGhleg0GQwjlwAslHWI6+IpHjs6Ejj8ZCVXYnNmTg1giIeFJdGDEZ7YsvLpYjSWF8fKwmM/NtAzX8hTo6aT5+0Ovg0AgDmzU446eCPxgAAAABJRU5ErkJggg==)
-подгруппа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFFSURBVDjLzZNNTsJQFIXPw6k/YyLXNWjvApyQ+hLikMTWdNqQhjAATAcM2s5IXATikCWIbkRwASpL4Mf3hEr/JMYRg5smff3uPe+cW0RRhP8U9gscASUAB9taiZ3gChCuWz+RhLEC5ptakNm4U09RCGrIM6mrP2YnrMXvQ4drAliyFVznQN2t+Q3Rh+yE59mmNmOIinx2+/3D1EHPqxoEMSPZahdd4VfQNvAI8NQJgnIW8n33SFbwApLjFBgETpmBN/DtQ9G0rJot2JIXBMzIbHaKDLtZq5nEarITpwrsxpbHWTZM0jEski6nOnuS2gL0WfV6HIducWmYjaYwR+XcQHf/CZ7twZ9WTm3MsWV5l5uJIpkxMCrlQH3g+/VTpXGynkizpGTlKhPb9zlQrxRgvGrXtMNnwHtiT+egqyed357+j7vqC6tudUhASLY9AAAAAElFTkSuQmCC)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHDSURBVEjH7VU7bsJAFHymBnqClzvY7woIjCB0SHzk1gVCLgBpC4QMnW/Bp0o4AtBGyg0SKZwg5ApB2Y1Zs3Fsg6UUJErxpLX1dmbezK4N0+kUrq2uTtDvErUCSIFXynGtXATGei/oUQS2tE7FirKsRtYgsGGN76TUGzR1WBLD7p8jo9S8QcC16Ti5uD7bIH2GfWDYw16JDDiPAmRf7I70UFGUNvIIyk6I8DaRN8N2tIhp/eLitda4DmecdV0rbRByXyjAk+BpIywA24tvoii1MmUVtoCduXjntPAWiLGxXDctA09MrPIJpTrIz2hOqlGiRt2iXoDCszyoJ+rEeyLqYA0Ad8J+ITIsOtkp7q4O+rZBaV5yLtIp5v5QxvR4lK08iNw8EBZyUL6ZRbcPRhfi1CHgWqRTIjqB6fOQylpOw9/QQZiD3lzySblAVVUfZEujoiCkcheMN77fWDUsK3vkYYPjS/By+AvHNjQC8Pp565i9PGfsTGpRBI5j5hDIY5iTcdF9cZWU12EDRRKyc7I5d72TVDC6RB9Pbuu4pdWPUSo/IYh/gFl0yKOzKM0kEiVHeO5qJyl2FGZ+ZNie/f+Q/7SoD941YVDLUlGgAAAAAElFTkSuQmCC)
. Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGpSURBVEjH7ZW/TsJAHMd/MKOzKNd3gB+O4kKOS8CRmLbpBHYgzS2YdABzZevgCxAHxJEH0MQ/z+GgvIDhFTTelRIraY0WcGL4Lde7++S+v+/3VxgMBvAfBVvQWkETgCyElXgQIANf+zKpQAbCSB5+B8CpJUQ+bo9Dybm8/0PtQ8urp5ZO6HgCQGaMi+Lyt16nWiIAMyDswfb9XGrpfN/OMQIPcSDXtfbLhNwqEJpeY6UeCc6KyFgfAabRy1QvTERhmngmZX1NkvXXIE6xXeX8iBXgkVCnG5VTgY0S3ACa1yu5LpANWZ97fC8KCvqC5qUQVn75palASjami0rovjGgMXZde0fBVePnJvmbbLEgh9LTxSXSwl0o0CdW1oYLU8xlM8apA6sa7brNA9RqV03b3lVrnomNRU5UiKV8qNwm5ZQZmmR/CHImEeRZWJ+HNAjqi3qVkvGQ8db3EIeFxigO0tH1Y0en9WqnV9rYrAsU0LRnrcyGFOlFNMxrBQmdVVQvo0psBKRT2lb9NRlrLY+mtUHC0XQnzfIWN2TXBgrMQmr3SUN2+ytPXZ/nf1iojihRagAAAABJRU5ErkJggg==)
- максимальная в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFZSURBVDjLzZQxTsMwFEB/OwMzFbgbB0h+ewPkeihsHZIoU1EGVLlSi5QBKidbxRFgKGXsGTgBV4CegF6hAv8Q0ypyQgcEDF7s7+f/7P8NaZrCTw74FeACoA75KN0IUINNXK0S6CPMdNAaAJehUg1bzMRzznXMO8UxIUffKisPzwDYSkjlFNeuL09dBrDSB74WDywF6iznNmAcR/sdbN4RkPHBeKc7VCpscM6HCLDEIOlur0mOF5zjhHSLa6XAJMBuOwz7RSCptoXsDzi7sumWAgNE5Sl5Io7hyWiRqkBxIxN5SPOAwcNOZUO6iIH6ukf050aV7tM8iE3XCiRdE2yARpXmtO64TNcKJF0TnG1m7nOrJW6j6XQvO8SFR5N1JZCqPY57R9js3Pei6MBkq0vnjVSpe3SmmJeLfpRFvRIoBRt9dkfWIS+UpZLCMaqb7skH+rO/+xz+FfADV8La1xvtE+YAAAAASUVORK5CYII=)
подгруппа, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAXCAYAAACoNQllAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKBSURBVFjD7VjNTttAEJ5yppwLZf0OZNIj6SXarhQ4RpVj+UTkQxTtASL5QNEmtxz6AqgX6EO0B+h7VAJeoM0rEHXHP6ljrU3SrpGaGmkkpN2ZWX/zfbM7gclkArUVWw1CDVAN0PMDpP9eaNsiK3TM7KH/rR7qGfLn/AtjGJ09hCvtMAfAB1+pXdOeIWejeA88oj/u2ASoyvwERBB0dwSDG/JNbM74cGQCqTCQcvEYgM2EVAf5tfNBu8EAZsDETTCdbldB7SryEwAJsEugjn3sEEjoquOVAJpOg22xD7emA4ahv9dk7AsdEL3x0RoU3lpVEjbyF7OO/TSB3kO4hn1xmwfcXD0pDpDzCwR4yB6CPsxDVL6P/TL6Z2TyaDT0rkrZYyF/EeuYkKem9bUAkhz7bSkPqYpam2dZ2tOBo2BPfOTfWBX5I58CUBeMNUjWSG+O/EKO5avsAaMKoPdRKX83X1mbErOVf4mRiQ9g73pddhnpLVzVWqCug4Zh8FKg+EDoxs3zaXr/qcRs5c/HjADIsDFbyF4DPuuY96aYhkbG36cbdVM707r8JprOZdrYomAFlbBhVeRPGHRPV3nBrTYveiosbQ7D7mt03n3qBsFOdP15eJQ607qmIiaVGFXxOLSZP78uBTulG6w9OMdU6nFfKn9HQe4tkMgA76iKRM03Qp4YJWO5SdvKT8AMXLc1dHlHg9Eolf0K37Bxs1PEOsf57jTFJTX77K1EL2jXHbw1jTBrjRr/silXtKhfZdm3kC/AXcweNstKLb0h/wuAXM771MM8IU5S9sTy/S1b3cd+LEmtZGTZKHCSMeQrAWBrgN4ogKImbHmArn8UqwGqAarUfgEf2R5aZfZ+yAAAAABJRU5ErkJggg==)
. Это влечет, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGIAAAAUCAYAAAB23ujSAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANkSURBVFjD7VjNTttAEN5wBs6FsrwD3vQIvUTuSsCRVonlE8iHCPkAkXwA6nDLoQ9Q1AvhIdpD4EFQwgtAXiG0O/auM152g5MQIVVGGinyz+w388337WJyeXlJynj/KJtQElFGYSLEX0XEEoqKdt92vWK7NzdglLsg7sp74LT0KVvnBRZbIUFwsMop6YnfIxnP1D1uqQRxyLcoIY/qOn7fY+QarifBvOu3LGqcmz34cbxmeubYpS25/ohxfv4eOFUfz5o1R66f9pHyXhAF6y5zL4JOZ9lKBLwsCxkxv72rrrd9tguAWT3ex883GOmamiJynDKvvTdrAZPux3W2Twgd8jDe0u/JwodJwajQReCcFFEUrPANcitwPmKccoCfdOIt00SfTEUmxWzwW1VgHPtr1Wr1JyNkgAnqdIJlnfGiBETRwUeHOD3btENuWeALIqLIX69S+huIwM2dFafBmpeKWFlGgjYMk8g3ThPl4YlpAZ2Itsf2IGHI6QlhjS5mnbnh0TQEjK2Q9UXTrmxEpLndC9HUB1wM5PAYi32fHemTPytOaV0jY0ywsknDnLoL39bvkSI2k5tExHLoul/h2VRu9L7WPHPS6+zIBsJOwFjCSUMtREDuWhhuAxbh+afYrqDZSQ1ak+bFOU1kfUKE29RlJALkC1OmJ7CpJVmQe4fZb9FM2AyL2pKU753JYmxEqNxhO/yAiUiwMe+HqgErZR6cs1iTwoCHBO2xoKa/8rDRxzUSbRMZ6gkUoIZDbsTLA/UyPM/r8Q6WP9hWs1nbKWJLmeyFwg6CYBUXZiMCr5lOfqObEMr4OTQ03cTzip4H5yzWhIho2e6Z3tUfGugJ0CnqGZ+idFlnAGj1zzRyz47BApyaNBsRx677TV2HDU809I5XN6/UesmwaIp+K5xTWRNYLeylUbRS9LSX91/YzMQmIzyUKQmm+8b4KKt8Xcj6u75QMkGWk8JroaQLp5qG47RzspWnKbb55ReoJ5tsORzyvM6kolvSUhaCc6rhcho32M6SQbGs+7ocNRkhrxvpSQHAJx4ezv8PW94/c2vKe3gtE+ZF43yVjFR5fd3SsKtMJAKmqF5vfjZ9QljkZ4DyW5Mu/4xFOsQWpU4mZdMWTEQq5bHsc99HDPIuo/wMXhJRRknEfx//AItopz3K1KfEAAAAAElFTkSuQmCC)
. Следовательно, группа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEWSURBVDjLY2hsbGSgFDPQ1BAgYARiZgQOZYaKMxFlSChQU3mai4kcA8NLoKY/YCzrviu2PFbazditNq2jgwevIeVpoXzuMox7GBjkXnoUNxjAxBuKPQxkGRheMRhHL8Drko7yNF43GYa9DLKeu9BtA+E8D9ki4+gGH7yG5LjJljAwyL5GdgEyboj1sMUmh3BFRxqPhwzDHnTn/scRwFgNqa+PlTRmYLgr65ZTjKygPtbYGxSwQJNA5v1jYDC6FVtfL0nIkBKMwC6PlTICygFdOR9vOgF5x1OWYReDjNve0LRyPhTXRBr74gsr1IADRiMobTAZRSxCDocII4ZFuGIMazoBeQvo9FvwRAbFxrH13gOTd4amIQBi5Y3GooC7hQAAAABJRU5ErkJggg==)
обладает главным рядом
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAG0AAAAUCAYAAACH1bNfAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAMcSURBVGje7VjNTttAEN5wBu5Q9iHwpMfCJbJWAo6plFg5gXyIkA+A5ANqndxy6AO0N+Alegh9Ad4AJbwA5BWSdn+8znrj3zSxlciRRopseeeb+Wa+GRv1+31U2WZZlYSKtMpKIY3+dtbiiJ7rW027Xou7t0Lfqo8oDGViW8CV5isE8L7bAIzwK3G841UC8xxyjBF6pz5m2Ly+U+9ZgB7YdW5gPayaLNtu7hOMhvT/1DeOQSamTGw034bvW2DDZGi79qEJ5jd7MNhNJa3XgTPxMJ4sQ1qWSmwDekQI3jqed6BevzbxLVi981X6ZPfouYycKXR6Z1qcM2h5F2Vhc117jxyhZ5rrdzXXfgF9pBVIuCO8zoGB8Ese0hg4121+MpAx1APWz67X6z8BobGasMHA3k2rrGV8CsLwR1QsnKAj8ix9FoktIIx1VcS5WYpkadLC0gMjGvSvJNJ6FpwzMA7BNwjaj2p1gelc5Ze7eJ++7EwwcW5iO14hrUhsScUklIB8Sct/btLC4ObtbQF4SaQ5pvmV3RcSgF8b3XtDXIerVJA5fcZJnewevdKLwhb4VgojZlHaWRlpfmv/iZp7SaRxsMS6DP7TANnQzyI/eX2yGKjMvemJievCMrDR82/D3SX3CfRXLD4wSmqAXKT52xTfcpq2va8O2yTSWAWTlneiSiWTp263cZImP3l9+sN8oidGVnTbQE80KWP5XKHY5qTdRc18UWzpW+pSMy1Yk6kD+X6RRJouMwF4XP+ddenJ6tM/e6wnRtkmZ+o2WSQ22cl8nrruXuiMFlxk3dy1dmdbD36hmg5ZVnjZ1mzjahtGTwcp9Z7KzHcdJK/SmA3qf3xyIthCQYe9HwefEWLOzdf/srAFBBvtJ3WGcQXQfCqzrhZJmvKSOdXfbdJMyMSiDitaPdUBMX+fiXO57MtpnM8F6ZKmyU6Z2PxuHoXwReRcxqC/Amzt9znWRa1W9zRqE1vXJ6l1fH5j6keI09xq0mSg80rGE1Um+fYI1o9NiEXI/GLHbh1pQvZEoLrkR0nhRhbmtsrjNluVhIq0yoqwf30e/TJhB0wOAAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAXCAYAAAC8oJeEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALoSURBVFjD7Vi9TuNAEN6khusJrN8Bb648KuRbFChT2JYrkIsocgFIW6CTky4F9wBcRajgCa4ILwBPcFLgBQKvcD+edTYx6931JjpddCLFKJG9P/N9M9/MJKjf76P3au8W+Bp86QFCtczq8Gl9SL6ntpQDS+776+AHg3iDYjTKHPpFwt6hrfOpT44QCa817+sFq8mAQ4Iv9zsX7qIkmAgvBNAYxNIDIOCzQ75Fabpl4wQHjukoHgw2ZAcuOvsuRugl+/6TG6xjccMj3hexXhBO/PRoAeB1E+H8nbhzh97HjG1agecOk+CrjRN8LT64lYEzFm/SHXSPEJ7QJN2dOZXQXU6G5HSaRlsE4QfIgCrQU0InWuBwBwkv5+eiJ0SCoRX4rofPME1ObcAHBA1lecyAK7JBnK+SVC8kh1onM9CMtbczIGPducKSKPpUfA/38egr9ig0j++K0dKme8aqi9yRLI/ssvMs4i+6M1Kf7qne5VnhPsrnTaP3jBB5tpViSQK6elRyANM7E7NvIiUxysmDqEsRlAoQN1Wtgb1yVvQi0sr1S57ajG0vWhh5dka9VjV4A0uq9JXBiyhhr3umBoB+QyfJgIzlKArw8l6pXkwg7dtx/MGGhLx+5fqvBK/S8JLgz1Uy4emrIbcKfImE7BwTAbz2OM0rk1TKGmasYQNem/YwJyjaS95+8KuuFujSXns/ZJN+tqjB/CDu0s0Eb8G4wU3ikROVg/LmnCz8KK+dRyYYFjUeuOjGVKl1BVRVL0wDDDyDogtzg1gHxKtInbcIik9Bl3Kbg8M6vr/X9b2W3IdDgq5Vw8k0xcezQWNqusJjqjfCL6Up1oNP5bXlGmP1w4ZnhOP8cJr0qjiZzaNMHmylYtLnAca3Ni32n/6qE30ZgH6kybFSe3xsVY+QNsD5eGvIipWB9z3vBFpLSOmxVq+FkXJR49JZAfBK8IxFjSbG36GArcrBlYHnxaNill7/k7MGvwb/X9kfENQBEVyzJuQAAAAASUVORK5CYII=)
. Полученное противоречие с выбором группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEQSURBVDjLY2hsbGSgFDPQ3BAgYELgVUxQMUaiDFkF1FSd5WIsy8DwCqjpLxD/YZD12J1WniblZuxWm9bRwYPXkLS0UD53GcY9DAyyrzyKGwxg4vV5HoZAQ18zGEcvwOuS8vI0XncZhj1gW9FsA+E8D9ki4+gGH7yG5LjJlgBd8BrZBci4IdbDFpscnNHRkcbjAXIFmnNBAYkawAxMOA2pr4+VNGZguCvrllOMaruxNzRw/wPN+8fAYHw7tr5ekpAhJeg2lZfHSoHksAUqpndkGXYzyLjvSSsv50VWVB9p7AsOq7x6Q4KJDRqNrxiMIhYhhQFzhBHDIlwxhjWdQL11GxoOMPzHOLbBe+DyztAzBABuy46neT8wNQAAAABJRU5ErkJggg==)
показывает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAXCAYAAABXlyyHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAINSURBVFjD7VjBTsJAEB3vchfC9h9k8CgnUlajV5PS9AThQMheIOnBkIUbB39Avagn/8BE+AH/wIN+gX4D2CmsKbhIoSuYAMkE2s5O35t5O7sLdLtd2CbbKrI7wltLOPjsKZs7MIaPcbAGcGkHuQh3wYAhAL57UqZ1Pg2btQKfEfmh2zlbB2ETuOYGlw6eA7BPLuTh7LPLejHHAD6B8X6t19tfpyST4tIG7fVq+zwLA11g3/cyecaeKLDJysaZGiZw6bMo+CHadhsB3mcHu4jS87D6m6yWNQKLgM+L4pnApb0pbKwWhTimbDK70VT3Oy6e0YvKCPeA5XsTzYesnIMHdOT5oiqbwKWVjY12W3TEQTQwZZeheyWll9ZlOK4RuHHj+bZR9HpeXFO4tLLhjizQb5Ux36+l6GXUCMaAk8lZVZaknINc3/P9zKLlZhVcupga2dgXalDQ4puQ5YMSWjeqSSSVs6bCwzgVXhbXpOJvUen/IBw2D6t0W/P9VBQcgaBMqbYfBGkl3XCEsdjJY5xlbVVc5DeX8HTm8Y2ySTI64qIyvehPDN27WWB1xykIl5/q1sgpeYbZZy+L/JLi+pVwUguBWdarlefXal5tet/8p4SlwwtUsWj2N220KyOZ/wlhl/MKzbHw+x9UVzWtYFf2EZ06RoJHtnUf6zpIbPQ8HDaODRwkdn8A7AjvCMMXYru7FCKI4qYAAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVEjH3ZVBTsJAFEC/rNE9yl96APrjUldmMgZYYtJOupGkKzMLNekKpuy68Q7gNcALcAMSuQB30Dh/QrEpNQLCQptMmnb638y8/2cKg8EADtXg/8DtdWRbhe+lAV/9la3gaRpVJcLYBn4ABaOyAONT2/UDLqQ2ja21BASjMngch6cEMAeU4yhNq1trMSasWcAb1OUkD2AdAeEzIsxQ6oednBtfXglBPQCah8bUsveJohYJ0UPA2U86voUrKbtaX18ieNMM7nSQ6t8LfNpUyRqclQihb/nuAU55hqxDERnf6HNZh8mmStbhVgkDl97npJKWne0jhUkzP+BOcFbCS3YlaWfJji+k7q5KsJDkXLJL98WqEuK4c+Z5QZJ95Mpx6TeKOid2sFfwgpcixGjZQICFGziOj9fgSUhNG/TuGqmhWwVRnxO6Cs76Cwm1q73jZ0UwZI0HOVuyfO0d7ipKqZu9n4oM5von37SL+fg1nF1n+Sjugb/7s/gEMvaF2x2yoU8AAAAASUVORK5CYII=)
- такая максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEQSURBVDjLY2hsbGSgFDPQ3BAgYELgVUxQMUaiDFkF1FSd5WIsy8DwCqjpLxD/YZD12J1WniblZuxWm9bRwYPXkLS0UD53GcY9DAyyrzyKGwxg4vV5HoZAQ18zGEcvwOuS8vI0XncZhj1gW9FsA+E8D9ki4+gGH7yG5LjJlgBd8BrZBci4IdbDFpscnNHRkcbjAXIFmnNBAYkawAxMOA2pr4+VNGZguCvrllOMaruxNzRw/wPN+8fAYHw7tr5ekpAhJeg2lZfHSoHksAUqpndkGXYzyLjvSSsv50VWVB9p7AsOq7x6Q4KJDRqNrxiMIhYhhQFzhBHDIlwxhjWdQL11GxoOMPzHOLbBe+DyztAzBABuy46neT8wNQAAAABJRU5ErkJggg==)
, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAXCAYAAAC8oJeEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJbSURBVFjD7VjNTttAEJ7kDD1DyfodyKTH5hRttwoco8pZ+VIiH6JoD4C0B4qc3HLoC6BeoA/RHgrvUSnlBSpegao7NkGuuzYuXktU+LCStV7PfDPzzc8aFosFPNf1bA1vjG+Mz24CtMxq08r9MHWGnp2ASWS2yuh0gcu6KRHOzYe/APA6iKJt25kZZ8fJGbjFYD50YHg78nEfUJ7nnXGNK/dFDATYjVDRbvbdyXTQZQA3wMS3cLncqGr0nbyfRYbXgcu6uVyGG6IDlzYlWgcve4x9ISUo53tVjNZ6tIMAq7JgXeOye1eJXeT81AC7TguiHJKIURDgpIh6D0YvCrZJ9r/KcI3Luqk4TgZKvSYvMz47SlOOlI4RLspQNG/NAxxSThqgP0Za75QtmK5xWanFkZ+qudpKK4nzCeXHddSqUD4dyTjXDe1HYfiiyAl14LICEn7Up+fEk+MLrcNNgeID5WVScB5P+UInmKjlOaAKrry2Z2kV/N1agGkbR9ARV6Lnna0LzLgLn0lxHUNHnA45tH0srnvHdsRlqPWm1XjyTFx9vTefiIIxGIl71DOpX9J7QzGkamood/zQMFJimGnnrFb2bBVcUoj3xAyaEbIpYSlCcSFakZfJa6+EOkgNGLf3yxIhUjz1/f7M58PB9KSbW7gEO/xDVoFcF7iSoij62fbolrYUEc/77vXEGRWnqgOQsxmeWqGUb2u92Ky9m47MUzCcRl70o/2/UsqlIp/zCeWlybODpxL1dFowoQ5rMf5uvPxKldXFRee/us/HHnZw0Wl+ZjTGN8bXun4DoAgHxXYDV7AAAAAASUVORK5CYII=)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAG0AAAAXCAYAAAABQcHxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAP7SURBVGje7Vi7ThtBFB2cFqgh8bhMHe9sykBjrccypLOi9cpNIFtY1hbY0hZA1nQuovSEAkiRgD8gkXh0qfIDKYAfIHwCoMzd2WHH1j5s/AiGLUbyY+a+zj3nzi7a2tpCyZqslRQhAS1ZTwa0NkIpxNdUAso9QZOKmAo9yAqMhlTsMkG7zNgt1mr1ETXDWPIYV1yhRWQbbxAiFxXHmQ/aU9Nwg9m6hX2k0iwOmgjzuU+M5tIwi/M/8hhHXKGGHZ0sI4SvqOVku/9br+YUjNAVwvTYbLWmB03CcSrzClKOwxIYyPYY85BYkhplXIEGWy1zmmJ0HGTUtivPVYx/gNF+mSHLgkx5NwFi7EXNt+6zCLVTokCiSEJSRp1HVH62XXoR14CDxhXcBRbNEko3CEIX8kEoikGIYxjkA6P2eT/MMM3SLA8UZAHdynaFNEp7Ov6HYsAeT1LOXP8MZIiTJXfJkv+bq64rXFL8uEaRRxhYfuzkTFXV7SibMXF9jIsr0KilkdWcZb2haXQiXw6AEeCkrKCvghm9LI/ul0KbLYrXxGchjaX16ssCxgfQeVB84de2zRkoBqbWmtjPkj0XybrfM/kvBsUOVtVvGBe+C0kZdh7RYOFLwRpoiCjQBo0rmLqEblhNa0426haeGJ+8ol30Kim86PgwSLvv7GJ6SNXMNuxx/TO/AlRgmADMlxbfHiTKwDp4Ta2VUeYRlJeWRqdBEhcFWlxcII9xcQVSl+rOgigYIuV9t/DMEXQwH6C9S0rTIEtgI+x/l1UY/xIgcRALB+BL/twJsv9bWcGfMyrd7h7Yg+TB52Q71cMN8BouCyXTnJX3R4Emx2UQtHef+gYUUXsnDrCC1lFaOxUs4EUC6oaDEABKnXVTo/P5gycoWCUzSUgj7PPO1uW5mJf2c2nFv4NYfN88xJycSudPTNueiW3KOn3lzlUmZyzmZ2Jehl/lw+OCs73Ut+NhDm4+bD7sQOfcscR7TgD9Zl1O4FYDIIR1oneDu7v5wfyCAvBuRCk3UFLeDWKNJ31traYXKbVK0IncF7+VMdk4AznKVauLltWc4yzu1P5B8zAofQ/xgO9+pLNZIUVgHtGd5bKiNLtB6y+uaiOK6d1Ob8QNDZxC14lZ4T8QessrfHdgVV1frOlaEW5zAog8RkfinMwqAFT+7t8Gff/8O49Jd/SsB5w79OULzTDz4LOSLoTN4XjZ5H6DQI2J6zourqG/e3Q7J5P5AzNGI9rmMB9Yx/puDyTOMApP4oWx6E65gyZttbmEN7L65tuH+gJ7qMZ0TVsFvWZzYWVSWSbLpyzdjxI07/XLT/khOlkPHDS3Q3H+aFIZ9iRBS1YCWrIS0B7X+gfHXu1HdQU6pgAAAABJRU5ErkJggg==)
. Это влечет
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAXCAYAAABXlyyHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIiSURBVFjD7VjNSsNAEB49q2f/Nu/QTDzaU1kXao9F0pCTJYdSclHIQWXTWw++QPFifQg91L6HUPoC4iso7iQGom4C1bWKbWEgZHdnvm9m8u1uodfrwSLZQpFdEl5Ywuq3omyVrHBhbg49zwWsAVzaRR7CtZr8AoBTX8ot3ZwuZ6fpHHhGP67Pg7AJXIXOpYsNAPYkQln5OHbWqdkM4AmYGAX9/prpKpaNfxeX1mm/H6yJXbjXOY4if9th7JYcoxcfmiQaRc0dG+xRUfVM4NJnMRQV5PwCAab5xQTKQ5S+j+2ytpqVaBA0NwSDkfI5cRxnUOTXBC7ty5BjuxaG+5RNxrsn+XaiQC2EIaB3bY4oe8wqlgAvAGwCl7ZtOPKLMA43846T7wO9Syn9rY8ZntWiKFhXvse61iwibAqXtm2EK6v0nGasNUwAojgnIUhF43vt/Ka2zyQuzSDYyAtVEWFTuDSyzo+yRUriT2BXjIVjDbJKtGy4oWAmhIpIKJF5pDbM9s0iwqZwfVJJtA6uKOv0LvbwkPY02s9oXLUPkgqqdjot2z5mPYjEPtaTfdOVjZZtx3nCJnG9I5wFTQ0nFJQqsCfC43dtmJlGHChYx3WrXZfXa50z+2utnsY2ievHztJJ5i3rwXLEgATG9KHkz10epCuq9E3lK/CvCbuct+k784Q4/ovVNUr47Wh3R6o7r8vErxJOxOMHLhPLPwCWhJeES+0VePK5nPNorg8AAAAASUVORK5CYII=)
, что противоречие тому, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAXCAYAAACoNQllAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAL2SURBVFjD7VhNTttAFH7pGlgXyuQO+KXLZhVNBwWWUeVYXhF5EUVeAJIXFDnZZcEFUDfQFSdoF6EHgBO0KrlA4QpB9RvbwaQzthM5kEqO9KQomZn3vW++92PDYDCA0vRWklAStOIEBZ8KWVFnrRRBUXBvElaZNyDfxH1A60J3bk7f0q+F7KzRPTGWQZQOixac47Q2BINR8H0S2SPjveN5wElymBg5w+Fa8ncL4YLOA8Cx7fubqr09zo7DNTBBu9+k34ZDZ40woenvF6nwk24DGbBfwvV3MgmiDRG4KTCyvo1NApwXXODUYGz3apacZ+QBe1CBknsBHlTk+r69icBuSElFEBTFNdFh0dwcu1ctbiNcwra41gU9uxat/p7qP6mEbbhWgfI8e6vG2DciSLe/b+EeYPsyZ1nILBFEugHsNpOg+OaYcA91QechKHRojHTp47tiBzk/RYBxkgQKwEL0bRs7aelH+xkYt6r/o/SdKG2mFs5NkCRAA2x66wrZK284hUiXY6fhuh/ovKCuHSXTjgiTODTBJLHoFDav5SIozG0Y66Sbpa6ZND3SEUTBceSnbt99myRIno/WWYwjLfiYoCS5S0+xULYBARqnbQO+Buq608k+L0HkR5h+farY4EI8z1kXKD7T+rB469Mri6ClpVh0c3fUypWzDHWwRFdbNMV6nH+Kg4+I/CFq1fMYnLwIjYpfNcVkbRDskDpY0EIxlmVYl563/KzpVuWQ1nle6x1WP35pOc7GlMiI+Kd5RKo4dd7KagLzGuEivFHcldQ2H5KULUs6qGua9Z7Jm6qZhKSenJme5g0y/E3BUbq9F+6BMjVSirRqOl9YPWFp+RP7nRXC4gMW3X61+rNaE+dUdP8Z6KRjvLE9b6vIRwKqV7uMXanSYaUeVn1T1AlkUgXKKZXGAs9bL4oc+aiRsxa+KkEm5x2qJZYQB2lzkVRS0L6LACvT9gXJWZig6HHgO+XuSwP+L94HyYKaY6IuX5iVbxRLK0nIsL/1XDBez7JEwwAAAABJRU5ErkJggg==)
.