![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANUAAAAUCAYAAAAa9HiSAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAL8SURBVHja7Vm7TtxAFL0tEl0qJI+o+AB2lIIiVNFoRLZGMhZpIlGt3FAgCuTdzs1+BE0kytRBSpWGP6DgD/iHxGNjr/HO445nLJC4xRHSen3nzDn3MbPAarUCAoEQDyQCgUBFRSBQUREIH7uoyvJiVyZwDwD/gJ/d6l5aZnxePwf2LPPicApiC8EumVhc9j8743DbrNsHfzovij1TnA3XFxj2hOUxVh/dfmLxtcV+L35ivXsvfLc5N2tlUv64KMvdUZOqDqjZVFGc73GAJ0jkvSt4SEGZBFW8eLacv+Kp4dKZ03vWcsckN4aHrz7qHWfyj+Rri/3Wfvp699Z8i1weMoDn/vqdP4gmpw9qTQy2ZgwesYnpk6hdFzI8rzfG2F2/OzVda7vjmQyr10cYYuMRos8wsWLxtcWe0k8sfLybmq8tB22NTBWbTIvjcUWVymMh+M1ww0oELsQNA/boO3bbUWoTo+0GusToOgiTd32hdUnXmKU/GtTfdxwZnTwC9NHtIZSvLfZUfo7q/gjvpuSLyUHb9Az6oUKdG/P86xcGs4d2U3UF86zw6Zxdx6k2YkrQ7bG7WdM1PdqzdT+2a0xjRHPxCNFHfW8G7KFNihh8TbFj+6m/F+HufhjvYvP1zUHf6wG6qFRgIfLToUEZ50Va5AcqAVyLbi6buA77SmiLYMrUJEn+Di+PuvOwTsCWl4u/jUeoPsMp2BoZwtc2YWP4Ges+5fIuJt8xOWjKnea0gPthTF9U1ehVG+mbrYKqv6ZOGKvyXck8g9lv14YaYfTHA9sxC80jUJ+toorA11pUEf0cO6mw3sXm65uDtobsavjWoqpG78lVWe6U5dWOZLD+LMR3Lhbf6sApPwIm1+q5T5fKxf5pJfwf17u2+PUznl27hZkfVML84unyaCDup0rcn/tVF3QWt4VHqD7tey0/I9+XzzF8TbGn8tMXWO+m5IvJQVuOqPexXtA/6wiEyCARCAQqKgKBiopAoKIiEAhUVAQCFRWBQEVFIBBQ+A/wqohMtrQqCwAAAABJRU5ErkJggg==)
противоречие. С другой стороны, если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEcSURBVEjHY2hsbGQYbHjQOWjUUWQ5qj7Pw1CWgeENA4PsG4+8esMcN9liBgbju7H19ZLEGFRfHytpxGC0m5B6iLkM/2XdcophbJidWEMKZLCxnPusaA/ZelkTkxWysh4r0zo6eIhxVJQxw0Lj6AYfQuo6OtJ4PGRlV8rKMtwEOQyml8E4aiFWRzVEG/uAHGPslpeCz2CQOogPsWN8joPEiOxN5JDB66goY9leOWP3WcSGDinRhhx9sBCCh5wMwx5kj6AZLnsK2QfUDilY1CHbAU5XMh57kAMC1SKkICQqlEBRQUK6Q1ePKzPBGXkukrLGsQ3CxDpo4kQPNmMGWePQNOKjGmQHMCQd4FjSRT901Srm0cJz1FGjjhosGADzhJdLPKHU2QAAAABJRU5ErkJggg==)
, то как и выше получаем, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANUAAAAUCAYAAAAa9HiSAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALwSURBVHja7Vm7TuNAFL0tEt1WSB5R8QFktAXFUq1GoyU1kmOxzUpUkRsKRIEm6dzkI2iQKLdeJCoa/oCCP+Afdj02ThxnHtf2WFjaW5wmju+cOec+ZhJYLpdAIBDCgUQgEKioCAQqKgLh/y6qLLvclxE8AsBf4LM700uLhE+L58DeZaqOhyA2F+yKiflV/bMZh7ty3Tr424VSB7Y4G64fsOwJy6OPPqY99eXrijkWL9v4NhbOu7zLtRIpf11m2X6nSVUENGxKqYsDDvAGkXz0Be9TUDZBNS+eLKZbPA1c1ubUnlXcfYmN5dFFH/2eaf0+fG0xx+BlW9/GwFml8pgBvNfXX/uDaMrmoA7iM85WjMErNjHbJOq6C1meFxtj7KHencqutdv1bKYV6yMMcfHoq08zwULwNcUc2kss2vj22fnnamS62GSsTrsVVSxPheC3zU1rIbgQtwzYa9uxW41SlxhVNzAlx7qDMPlQF9qUdKVh5qNB8X3PkdHLo6c+zX305WvTZigvO3V+hG+fnX+YCdr5hwp9bkzT798YTF6qTRUVzBOF7ZxbHSffjC1Bd8fuZk3f9KjO1vXYvjGNEc3Ho68++rsTYC86MULwbcYcwkvzvQh378P4Nor8a3k9QBeVDixEet40KeFcxSo90gngW3Rz2fR32B3xPefsKIqem5dH03nYJGLFC/Vjga2LBtRHc6yM7MPXNl1DcA11n/L5Nob8s+VOeVrA/TBmLqp89OqN1M3WQasEMHXDUJXvS+YJTP6gjkGW44HrmIXmEUCfraIKwNdaVAG97DqpsL6NIf9cDdnX8J1FlY/eH9dZtpdl13uSweqrED+5mJ8VgWN+Akyu9PM2nSoVh+e5+E++d13xi2c8ufELMz3KhfnN48VJQ+AvucD3h3kX9Ba3g0cIfap3NUcr34/PMXybMYf0si2wvo0h/1w5omNgvaA/6wiEwCARCAQqKgKBiopAoKIiEAhUVAQCFRWBQEVFIBBQ+AdOIohMdiVGPAAAAABJRU5ErkJggg==)
что невозможно. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAXCAYAAABEQGxzAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF6SURBVFjD7ZYxbsMwDEV5gGydAkTo1AMknHoBQ4PnAI0QdCiQKfCSKZPszUu3XiBH6NwAPUlukDu0lgLaqivZUuKhNTQQsA3jk4/8og1FUcCYYlQwEeivhJTrKQKcAOCLJdvdvwfKkmS5lnKqwBaw+FDXo7HcCtkrz+T8B5AeIQo5qCUG1OsKwfnLpiwnVwGV5WbCZ3BU3qVoe9hXLxeYAq4Ot8AoDRR5+usM+RSwTdhOAZgCuqjWsz49mfE5AzgPAWPT8AK6wLCz6dXGw3CAGT+aY7fp1Zup9e41Qc2lMBvq3VGbtXyAmhWLJ3Mbhdhb5VZ5XDUETUgX7CimTtoBRLYMAaImEECXQ4KA6u46/O6antVydHZ6LFc3ycipm+Jp1W4gH7tZOn/LUrhMtNEkQB+7eU/IJmbbekOsba1rPA+xmwl0VxXwbP/NuF9Wgu9pJh/qjxnCvoL5xKf80XEGnHq9H0qljWJPuRljb3Qf/7YjUASKQBFodEDfYZLjGCvMFqsAAAAASUVORK5CYII=)
.
Предположим теперь, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAXCAYAAABEQGxzAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFtSURBVFjD7ZY7bsJAEIbnAHSpkFilygFgqlzA2sI1UlihFJGokBsqqrU7N3S5AEdIHaSchBtwh8S71prB7OI1OCixthjJD+mf+Wb+fUCWZdCn6BVMAPorIeV8iAB7APhm0XL174GSKJrOpRwqsAlMPtVzbyw3Q7bhiRyfAOkRopCdWqJDvUshOH9b5PngKqA8Xwz4CHbKuybqHr4nUCowRpHGZ2vIp4BlxFYKgAoowfq3ewHp3DjbWne5pgJKGHagXj16GLYw4js69t8GMs01QRvaWIBM+JgBHGzW8gHS/0nyk7B02GZvlVvpuGpoNaGyINzTrfEsaccTMueMAbjkkFZA1QHm6KRrercAVU0iOfV6qTXtOiAfu1mmd4vlyo3mqGkAfezmPSGbmG3X62JCWpeAtrEbBXooCni1XzMep4XgR5zIp+owQ1gXMF/4kj471oBTr/GgVNoo1iY3Y+zdvIfbdgAKQAEoAPUO6AddWOJ8vQ42DwAAAABJRU5ErkJggg==)
. Допустим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADwSURBVEjHY2hsbGQYbHjQOWjwO6o+z8NQloHhDQOD8d3Y+nrJhmhjHwYGhv/G0Q0+6JqijBkWguRwYuOohdgsQ9gBMRdhDsROrCEF1iTrsTIv2jSCwchotxGD7CmPvHpDaoZCfX2sJMhcWVmGmyCHdXSk8XjIMOyRdcspxuqoHDfZYlkTkxWyxlG9tIoacAzIGp2KzKtXBfEJOgocnDIee9I6OnjwGUxu9MH0IicJSJTK3kSOEbRgNdqNHLfUxtjsAHsQzROowYrHh1RxFDTNwmICEuKoiRzFUejBSgsMSrPERPNo4TnqqFFHjToKCQMATwqcghdgsK0AAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB/SURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhg+GydO9GAzZmAwN45tEIaJ5blIAl3O4AATGyTRMapxoDQCACYDXHjURvTQAAAAAElFTkSuQmCC)
, такая что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFQAAAAXCAYAAACVp2gDAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIbSURBVFjD7VgxbsIwFP0H4ABFwtwB3LWdKuOBuVKJMhUxIS/MVWDL0guwMXKCDuUEvUEHbsAdaB3LiTF2HJMoCOThDxGJ3//vv/d/CKxWKwjRXAQSAqGB0EBoiIYJnWDYAMARAO/jJOma7pkTtBD3wBFHy3HbiRc5qoEOlCUDn3OWER4DnmyawioHsjyUMDpAAAfo0d0sTTvXUkNWqJKDfl0WeQ0OMn2xjA+n6axDe7AzEZokcfcRoS+ezDWUqeeIyHxRRQRq/hhg7yMGHyxr9zAhHxxYJy3COIljPC0bB7WsW1ExQmHoVy1IjCFzXjmRF+Ttg2U8gBE8fWHsydQVTnBGQsXCXUpRz6+qsrwgRWXiOTjq552eW74XmsAyyptg8sGW7EElNOsSnnxKIurYPbMQQlsbaRkWolubJYuR5L+QfOe/L5YRkL4lz7kd/5UoSeYJiO7Us7sYKWzqUoWtaSYLXpJDlaXki2WwO3mVZEmpj3B/LQ902b2wlrBEROm7roQystRzbPbVLVgnXK9NJqxCtY4Zmtm5P1rrs0IWL7taWqgCwq9N9/IZ7eq4TcWmjdvmm4T626iP11ZCVWVJUtSiXNuYN2MIw+8qo+BSQk9ztC8g1x+RszAo1IXlJLRJ6+Tz6cKtegvRKqH59ZX/Sd00oUKVwx8JwEdEG3Pubgk9nzv+HypuKfKdorkwfHJr4/NdiEBoIPRe4w/voBRNJZRaGQAAAABJRU5ErkJggg==)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEIAAAAXCAYAAAC/F5msAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAH2SURBVFjD7Vc7csIwENUBSB9mEDkDrKvMkMojVNCkyUzwuIJQMWooqBjhzk0OEDpOQREukoIbcIcka0WJkBWDDaEgKrYwyPt5+96uTJIkId4S4kHwQHggPBClgJCCtyghW0LIO2XjiflfH8gSf88M+stTJrLj+9volgvZyp+BTSxl3eVnzOhEvw/RvHc0I1TQfEAMVCZAaTAafD1K05rrGW0eQc8GKNdE653KQEgZ14MgeAFCNmbRaTqqMWCzskEOMfTNG2RtstAuWp9xAZHlTOkKgajSKOePmAA6y2hmSAARByaG5eh9mJRUN+mbWaCi+Q8rVXw2sxuEFgHIOIZhkWxKAyEYe0BndnKCwdBFyVNYVrRBacWG3TmF8UMhOi7mIDBZIyrOLjdFeTSw6XoOWRQNSh1fzMW1CUTWLOg/ozRcTDlqa/BHebej089OCRF2imRxjDRcsijKS3febI5iUDVZOIGw6a+RpjRYnUsWRXI1z3ehudA57ZOFlpqWW8T5wIyXo6iL/q419pfbwrXFoNld2PNDy0Cvzd982EMXn+2zTsTsovdti6q2E9NxgcufUcWY+eTkaLECQWyT9us+yVz81TkD8gsc89Zsz5N/BYQ5/G2ZXzwQchrWbwg8jabTK3XxIvc0FLf+69N/hnsgPBAeiAr2ASixskv1rKhZAAAAAElFTkSuQmCC)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFEAAAAUCAYAAAD1GtHpAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHsSURBVFjD7VgxbsIwFP0H4ABFirv1AOC9Y2pVzJWCxYTEhLwwV4YtZ+jGyBnK2oU7cAPu0PJTbD6RTZwmqUrl4Q8Yy35+fu99A6xWK4jVrCIJkcRI4v8iMc9nvZSnr7M877kmLSUfAcAn8PGajs9TtijGHd+F1pjD2q5hi+8nWvdd86uw/lkSsbSe9IfAdkLpQZlILpejJiCQSLpGQWwiti48t02iEgMGcGDpfEHHJefap5qQwr0FYxt6Od/Kd6vxtknMxKOQYsqY2Jh5qE7Opa4i/ppSizlkTRsTHSuxuLwEtgDsIJR85gB7jBKK1cbYEYsUTPswBQOTQkzVUt3hxmYj3KSplQugJE8NcN+6FKs7T8MzGi8wSZIPBsMdqr7Y+0QUdYPPhbVIRMWlqXqxKjkBbGplk394kDMBqIzL3O3KzuXYMK5QOnug+e/rB/VIRCtfLDh8z3Q2uGblkDJr1bmINpVYbmgoEFQbFYol22PlYBLLijPqadvKdUls8wLpZ0quyU6flYNIpFa+tMF12/3kaWOb1THkfaDbIpFeoCHKYDG4zs3Hn9GVJNLHND1UcdD7p7eqg/i6sxk3a5e/xwN2TWI5CpxdGYWCL5JT42n8xPnN6ppE19u0SeTE377xD4hIYiQxViSx1foCo81Q/PsgATIAAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACKSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlEL8Wqor4+VNJZzn5XW0cEDZjMw3DWObvDBqaEhL08CpBjGjzJmWIhXAzJuiDb2IegkZJOJ8gM2z8u65RQTHaw5brLFDDIee5D9hVcDLn9gVdzRkcbjIcOwB3+wgkwEeRaKsSkegLREEw0AmP8rWK888ZwAAAAASUVORK5CYII=)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
. По условию
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFpSURBVEjH7ZaxbsIwEIbvAXgBJN/YByA3t1NleWCuRCymVkzICzMy2bLwEIw8Q1m78AYMvAHvAL1EThzXCWmrqpXKcPIQ5/zd/58vgSzL4DcDbgB/EiAl2ADAuRl0nFo79Pfl+WygBOyK55RuYrlWmsbl+3hSxo56K8AQpFfjBpRQu1meD6LAEQBrp0MCOLa91wpQVIa49YnLSj6q0HVISrhGhAPK+eJTFlijRohq6yecS1zEDrET9SAlLUM4BiYplwh4iEnfCVBU60nqfPQtcaGVejbm8R4h2TuAQhXStg26VxMKId7qBow3EB8kpXniNQHcuz2ayE6sueMG7ZI/ClAmS15Dr6NWvcvPh7o+YIW4al5DqN4AofxdwfKzvO46suckzUuV54r8UYDw+vmd7svpfI5d02o+9Cik2fkAJ+d7CMEVOYB6uNQDiH1n28I8X2rCtptxraF+9FvwvwGqcdsyD27/A9+JC3wuoiUGL/VkAAAAAElFTkSuQmCC)
- подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFwAAAAUCAYAAAAA5FpZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANtSURBVFjD7Zi/T9tQEMfPoSNIrLS5MHXHfulQqagLMg8RyuSGxPJEZSEUPYkG5KEFJ1uW/gsU2Mh/wK+lI39BgbDTqv9BKfQ9J04d9yV2QgBV9XBCweTuc/fue/cwVKtVSOzhLClCUvD/sOAGwAgAPAEwRmTPbwGU5nPPlGFDGYYfP2hyljar8TisPZiVOkAqsuC1mj1KEQ4UBX4BKe7KnG8W1Dfc3w1A5oqWK1PDhi9mYZvH5/6Vaw7+U5iiaA2DOekurDcxWL/dByu0DrRAUrs+qxdr9QPJ6/o7u1YbjTVSihrsyZJwHeMZAbgEpEdhZ3GsXodUt27siE9gl5iVnP/ZJLADaXoii3lfrHF4HXsmi4ryHbLF7WAjzCEcAjE/xxopjmM9JQpc8ASPg6BCnkWCnxDhDCl735fkWtJf1SfLQTh5fHuMIu4HO9ItkAUA0rBcd0LC2ggfxl1YgyOiF684UA2UBtLSWvhZpUynqFWZjlVwt0BfU0o+8gQvgwmKpImub2Yg8zWuPP1Cc8ntCLnJ4P6Kz6iKSPf9Aorirei4ATh3GO7UKFYEPOtnlPTD6ymrT/VIf2lSuszYzDSCduon4cmTmFslHdfjBBHgjFlpDeBcgBPLnY8L5XWztrTnLyAnry7yn9cyH01W+uourIPwuq41IcZVWD3eCOqx6KXjhFJmCIca4CllriqcmIRsFVz2nKbhOEqi/jID0M4txtIA9VRfS5MvIET8ElhC0uU8DFYpbz2a11MhwI/gnhFWorjGt+h1c1Fzf6ERKB8nPLnWCTZIwV3gnVIWJy4SVEViMSXa8nE2qa+We13twkVUFe0oDNp19A2J1ecVHR6Ht11wHlOq0C7Kko4T8YfeqfMO4XNw6wUtLbevWANsfF6ENa9TcfbQsO3xXlvfgyXmTtf5Gui+SNbQ0o/NS6N5W4d8gfrKBsCtEsp3vZuyOv5BYCyHqpqv+ifrXcWQHtiOM2bbxriehhNQxWyN7lSZic2dAbiSbX3/PrvEF5GadxbDSfxJsFTuYDV6sGqDs0bxekwWmRe7pcnbnNsi9ixm9rspK/zl5szUmgH4LNwU0m4H9p+LxAa810Ym14ohW1oVk+REwTtYsw/P2os7KuY/9R7CL3jy8uqhCl4gLyd19jYpeGJJwZOCJ5YU/DHsNwVtMqnZbCdVAAAAAElFTkSuQmCC)
, противоречие. Используя приведенные выше рассуждения можно показать, что при
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGCSURBVEjH7ZTNTsJAEMdn0aN692OWV6AMvgEpm1DjqVEhPZkQ0jRNEEkPHAo3Tp6NJzHRSN+AhBfwBfSiD2B4BA24yFfBFuqNQ5v8k+5mO/Of30wXms0mbJo2ztDmm5IPk9qeiHkACQB96z/B9Ajnx3FlDs9LzN4nOf+YalRFigN8AmBfM+tpS8VrAHo3XHc/iiHX0Q8JqLvuvCWwIqsfoFqumWqyKs18MYb9rOlSYPscxzggnrsrCnSR6BFRPJVarZ3lwMNFqr86V+BBOXNOx+shCzPlOKVdgehxDq+oWpXRXoGgDVRoB5pyL+gEM5nnY2FdrqRiUH5U4VQM2MC/JsPNh31bN7NpzvibqDZS072xqeJ9oKlCGm94RtwG0QkjZdsaKqD0NNvGOblwUqOxQGFfzciV9L3cEev5C1loncL4i7+CCKS+YYnSKlKT1nWmOTwPEuVssgYoun4Q80Evkubva6ThtoUi566zjmzYeUlNDjp9LP8c8eUZm4pNxaZ8+gFuE3z9TXX9lwAAAABJRU5ErkJggg==)
этот случай также невозможен.
Полученное противоречие показывает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAUCAYAAAAk/dWZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJbSURBVFjD7ZfNbtNAEMdn06qn8iH1FORpeQNqbyQOXHqIzEoR5WRRu/LViqzIUmOQD6hycovEKS/Qkh79CITeeApa7gjyBlSU2YRYqT9Sp3WhRUSag+3szPxm/jtrQ7fbhbtudx7gAgRAVCnd+Q34zIUIQ7vK+W5YZIEBsETZLccWZSe6iM8/BhFFUHEc4+FzZB8o+R/SGMAZ6s03AOfs1kNIgKaOlCyccTtsxInavMEY/FTN/e1bDUE/5koAht+E39lMPrc4DEARH51ebzUPwjASEpw1w1gqLGGS7thXQsKXQoRunSOwEQq3nfW8CIRVg4OpBFNWsw7mAQSO8YAkPJT/3dBdf0eDIxReeyEIixYB46d2GFZTAQLnnlDgGFAM50Fc1QLPUDTGTlG09uS1J7ANgN+TipgbcHwf4Avw3feLdum6cupRgXSFHQO3Dqf39k11O6tg8yE8oSLACPWWn7XZZWsB+ElWl64rp9DkL2YVQLK6r1PXk1Iq1gkGJ6i7cjLFY1RWdjKt2IVpVaacWjq+pi4MpgUbX7O0lArtiZbAPUaL605Qm0rA5JWBrGIeQBkQNDAOQds5kvFcfcNfR/yUJ+tCAccO6YwoOlHKgOj4YnMd4KuMJ/ecRYXjdqdxZQg55kyzufW7E2z2DMl7PyrzsAsC+5HKtGHW3rsU4pyS9Dxb0QA+TzqBo1lZvXUFR269uymISZFgOXilvpxIK/16E0P0+2KFc/NxqqU2X6Pp81T0+ys9x1ilSfWMnG7FVq0/MaIoc0Tm+VzEkjFJTmv//vfEf4i/bL8AE1pUAbrUXEMAAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADwSURBVEjHY2hsbGQYbHjQOWjwO6o+z8NQloHhDQOD8d3Y+nrJhmhjHwYGhv/G0Q0+6JqijBkWguRwYuOohdgsQ9gBMRdhDsROrCEF1iTrsTIv2jSCwchotxGD7CmPvHpDaoZCfX2sJMhcWVmGmyCHdXSk8XjIMOyRdcspxuqoHDfZYlkTkxWyxlG9tIoacAzIGp2KzKtXBfEJOgocnDIee9I6OnjwGUxu9MH0IicJSJTK3kSOEbRgNdqNHLfUxtjsAHsQzROowYrHh1RxFDTNwmICEuKoiRzFUejBSgsMSrPERPNo4TnqqFFHjToKCQMATwqcghdgsK0AAAAASUVORK5CYII=)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADcAAAAXCAYAAACvd9dwAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALHSURBVFjD7VbLTttAFD0OLEth2Ucm/QXiG3btLnUHAe3KQonlTR8WiqKRQkBWFVqHHVK/oFLVQpf5gEqF8h8tha5Rmz8AQWfGmITEeTWtKiEvrhzFnjvn3HvOncHm5iaua1xbYgm5a0fOBiYATAL2RK+FDSAVfqPi3PgbYM4Bo9+eV7F1hTEUuaKJD3KXU4CO3CC43bVIJirl2bp8nMnfJ+QGC2NVWJPCZK0wtwSz+L7ftxfYzqK9VRgG+5Uv1WhoWb4qZB8DrMlFkO18VyvliQFNsPldb2vrxjjEVCdqJU4Z4HgQsUuChB0wvhft7RC2keb7nu9PDSTn+94UZ8aeEUMu8O27OcY+MRhNcusL45ASwk2bwIEE+nnYImlsaXxhXKxeYirQUlwjYhPIzpjE+QYBh1QIlto94RC9dhx6AYMO4yQ7HED3Thb40Uv2/UJhyyDzlVfrsxGmFWURg7535opNICx6zoW4rytklauRLwLpCdUtqfuPIGf7T7sWuLQQ+oUObCHSg4ZIe5Qttoa0tW973ozyqb+cfSKfpxJnZaDndNuJb4i6uHVBbi2qGKPiG1V1E8bROJKMol7ls9pr7NGuBDs9iGQkSehhFw4TIHMcdXEgOUWCu/UHl0al4o7v2TcVYeULre8ekjy/mHphNFLquBiFZIoK2/0Idkpy5HOubFnLEXDB2aqSAM9l3qqESpq9JNloIPVST9iwovesUtXh/Nko01TLtc/E1JJsm5JDk1NVF2KREXv4zvb8aV1Rhxbl36fqHLNtTPhePqeOAJZfWe+scDkvN4Z5EBWmzFklzgfdF4DO6O6cwuZ59oyVxn64dyM1ErmWybXRvymQSi5zvPw0Ojxb72W0VVhPP8PcU2twRZrxEpMdqFzJ1SNvPDac9CraP7lb6g5Lb0b+kd39Gd4gWp1MLs4JuYRcQi4hl5D7D/EbeKcBAOiMGvkAAAAASUVORK5CYII=)
, и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAF8AAAAXCAYAAABtR5P0AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIoSURBVGje7VgxcsIwENQDeECYQfwB5JZUjFBBnZngcQVDxaihZgSdmzwgdLyCIrwgP0jBD/hDEskRkYUkDMh2YRVXGGTpdrW3dwA2mw0IUU8EEgL5gfwQgfwGk88o6UEATgCAb4gXS/W7CQI7/rkINNn5TCS39zngiVDWu1yDjgljbdM+CwyX8n0Ur8dVE1oEx1XlZ5tcguTgygIlzuyQwzxNW6ZnHusYjW1gzsLR3qnlAq7gsJLPWNKOougdAXBUiU7TeQsjvCoDGN+bdMBBrTadaLnGRL7IGcI9J78Oxd+Cw0k+X8wBiBJW7IUrC2E6u63kitlUplr4pSaYWch/9WXn45UuCh4xQixJ0MxlSY9Zhz8cTvIpxi98ob4RxWhmKncfIRJUSjNTS77v8POHlA5MyuKXIUjz3IvKwGElX5QNiad6CVVhOa4mJc+na/qkki8EgiZv3HZMFVGH5RRpttZph7yy55xf/d4kpcOBy3IeKVdTqbrykgpXBZEp7HHLKRuHk3zdWqSiIIz2VVmOywrV9SPU3cqciliOtABpAzEhU5+VXASHlXybtdhGpbKmA9P0hbqjre6j0mLkiOnaQ296/Nm1vgwcVvJVVehEX5ty7o3cmZamlF+Tkafmc2ERBvXzy+uD/ocPS7oXR2P/XhDk/F2K+gveV48I/+0UJF8dIur8FdwY8jO19z+lyrlV+fT7QP5NvmyfvQP5DYlAQiA/kB+i4vgBsUWLWM2GyoAAAAAASUVORK5CYII=)
- нормальная силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACNSURBVDjLY2hsbGQgBzMMvMb6PA9DWQaGNwwMDP+Noxt8oowZFoLYDAzGd2Pr6yXx2lhfHytpxCB7SlaW4SZIc0dHGo+HDMMeWbecYrwaG6KNfRhkjU5F5tWrgvhEawQ5D2QTqvNlb3rk1Rvi1DhxogebMYOxvsfEiWwwsUhjBg0G40iNQRYdoxoHUiMAcuBeWtkXWmwAAAAASUVORK5CYII=)
-подгруппа в группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
. Значит,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJYAAAAUCAYAAABvecQxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAUbSURBVGje7VnNTxtHFH8DVU/5OjaJx5x6DzvmEpX2sl0mCuTmFtvaHNJ2hSy0UvjQqkrImhtST9xaqUoCR/8BrQr4/2gTuIfAf1ADnbf22rOzn8brVqoW6QntMjvvN29+7/3eDLC9vQ2FFZa3FUEorCBWYelWBZgGgE961p4a5ds2wNTw2+r0RIglfsjQydBRe0SwqQBkP+3g3NWqFKRqdXr4HL/odlsOzhXJfeNkTEEj4c1NwAn549zZsW7wEhwBIRdi3r+psfo8nnRh7KsGfY7fiQ25gBI/snZ2biQTN568sax3LL1SBjhFR57RhQPTMe/rzHgV5fC61lrnD4SfD4TAJTWam/Lf6hV4Ld6LIJEuVOqvvWeALgA7MV33bhRJmwbdFL8uETMz3cd5E6uP6dL30dsIeqY3X7DBGC0DTj1/nD6xBKHWI7Frg3jGYu8TbF0lFiaCZVXvLFByMPwWulRf2YxKjJBzx6reXiiRI4DyKV9vPZAJQAl8BNZ4O4kSXmewR0A7MR3nnrpIZrYGgd+qzT4BoOfcdmfVOV40dUYBzoE+OsiT/FFYgfJD30eDwVuxER3LcW7+lzjTiJUVu0osJNWKlwjQlZPANdljJOpsbetJIrEEqW4ZJejELdjmdI01WosjyIMnYWkBcRzzXqVS+ZkReM9q7tLwvXXTYMaWjwWfOSWHJGLDXKd6v0LpbxTIuUzEEeUsFa+HATeP22sD3zW2JJNIximqgXZtnJCAM0Jm04iVBbtKrEF1JfSjXGgCRI2QTVCqw4aY4CxqAq9qmXw+cnIhDwPJVE1IWKocNtgiBhmJC1p939d8kdnaHLe/kzJdY5y/ZADHMgGvxPgGY68aDfYDEHYcJT954UUMFOhf/kagby+bCXvv+80Np5aAU6u/GZVYiKsM5T+TsKvE6lVXck55cy22AiYRqw+qo0rdVUwTn6fZhvENLsyTW7FpfpbbBvteJrL3bNtfyMFDErq1uSUkptiI/UlJdSD5Skanall3MB4/epIneg2pUU7FOTsZnGnEyoJdJZaHNSYJ+hWwI0triFiua94VGXaigkId7Tdql+K0IZo+7Z3qZGxp4Y1nfmAeUTgQGDYiZZDxl3bL/qwfvI1BBWH1n1BONSAnafIyDl5fSsBrzP3qUf4gkz+Ak8LhWDhzlMIs2FVi2W7tc+REXBIkVTOVWMd+INQeSPMchMtvHtLCa+6XQ7kVDaHIqmZT/0qVQW625gcNJ6vvYU+Im4jk83qFDPIyDt6BDMa0CrnjzFEKVRlMqco9Ytn6PB4youbDhn4ZqxkEZTRSCrFa9EqlcytQtXoN3llSQK8vg0G58whOBMFp5Xf5/aphfOsvwOvFBE5eKf+CY1Bm/jUZjCj7wTEpOGcnhzOJWFmwR1YscaCienNTvafrnRJJN+6qJOpO6XRKW96Xy+4yblrOR2Ps3fBeRGe6K4h8W2kI3/hBwHG2vUgZ/fpXfxw2++L1BS4KZQ3v3HqZtbKZ5RR6Xax4YvZ8tMOXggk4uyGc+mRwRhErgF2Pxh5HLIw/XpoScaDTLafi86HGpvbS7t9CL7BiCNl7p5bevC8b/d6td/nK/5BJiwSf46vPQuP6/Z3895CsZTiFjoUVb7R5sNnNhFOVNS26rcibWCHsRhh7ErEGiS73ZhmwF/9f+x/Z7u7up3wGnlLdfjhWe6LThzDDn+J8/rymac+MMkexIYVNxIogFFYQq7CCWIUVxCqCUFj+9g+E9VX1JkV5CgAAAABJRU5ErkJggg==)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAUCAYAAAAk/dWZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAELSURBVFjDY2hsbGQY6njIe2B4eaK+PlbS2Di6npoG08JMqniioyONx0OGYQ8DA8N/GJZ1yykeMp7IcZMtBjnaOLrBBybWEG3sgy42aD0B8YDsG4+8ekN0uShjhoUMMh570jo6eAatJ+rzPAxlGRje4Eo2xHgCrAYpCaJg46iFxCZhkBtAZqG7haAnIA4wvhtbXy+J0wIaxQTYDAaGuzBH40oReC2EGYIrtPDFEqWegAcQkt3gPIglwGAWCgMtjMd0pI8q0JEb5d3ywrBZFG3MUAmMpWXAWBLG4gm4mRB1DPuxYuPoSmxmN0QaWyKb3dFRzukhy9CLzS2jNfaoJ0Y9MeqJUU+MemLYewIAq8ynu3O3bW4AAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB/SURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhg+GydO9GAzZmAwN45tEIaJ5blIAl3O4AATGyTRMapxoDQCACYDXHjURvTQAAAAAElFTkSuQmCC)
такая, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFOSURBVEjH7ZS9TsMwFIXPA3RjoVLdjQdoLwsDTMj1kBmpiTIRdaq8dGKonGxZeIFuXdiZGKjEk/QN+g7FN65piNLSHwkJkcFDlGt/95x7bGRZht9YaEB/ExQS5gDWAC1jY9p1NWMpJq4Ga4rS4GRFaUQBIFZKm171n9GqJ4AVOmoxyvPWyYryfNRSHSzqQMbE7Wsh3hh0iJK9IO6YpJwSsKweFhGZOKZkn60Hg7Sk5F7rW1Yl5HhStpPBxQwpnJ8VBrZNkpzqVF+WQcVcKHxm6+qUHg3iA9XQ3H2lz3bu4Tx4F5LjbKsFaSkf/CFFhG2yBtSd+VDsss014OLOLkRKPZYTiWqiqDuY+QK/2dvkY12e2/ZObVXyd7WmtiO/yaVPJ98v8WZtVHFzffTff7Ly7KclHdINKHpyioMrq/jVNvJhm32x8Ivm9W5A/wD0CVdraujaZTmfAAAAAElFTkSuQmCC)
- максимальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC/SURBVDjLY2hsbGSgFDOMAEOijBkWMjAw/EfFxndj6+slSXIJyCDj6AYfFINlPPakdXTwEGVIR0caj4es7EqPvHpDmFhDtLEPLtdgNaQ+z8NQVtZjJbKtOW6yxSS5BGyrcdRCVFcw/Ef2HlEBKyMjcxQRqLJvkL1G0JD6+lhJIwaj3bhigihD0L1CliHoUYsS2AwMb7AFLpIiH1Wgoo3AMNgPwsaRDZbICqM9PLzKOzo4o40ZKtHlRkIGHLqGAAASA/HsA5lJAAAAAABJRU5ErkJggg==)
- произвольная максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
. Ясно, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC/SURBVDjLY2hsbGSgFDOMAEOijBkWMjAw/EfFxndj6+slSXIJyCDj6AYfFINlPPakdXTwEGVIR0caj4es7EqPvHpDmFhDtLEPLtdgNaQ+z8NQVtZjJbKtOW6yxSS5BGyrcdRCVFcw/Ef2HlEBKyMjcxQRqLJvkL1G0JD6+lhJIwaj3bhigihD0L1CliHoUYsS2AwMb7AFLpIiH1Wgoo3AMNgPwsaRDZbICqM9PLzKOzo4o40ZKtHlRkIGHLqGAAASA/HsA5lJAAAAAABJRU5ErkJggg==)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACKSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlEL8Wqor4+VNJZzn5XW0cEDZjMw3DWObvDBqaEhL08CpBjGjzJmWIhXAzJuiDb2IegkZJOJ8gM2z8u65RQTHaw5brLFDDIee5D9hVcDLn9gVdzRkcbjIcOwB3+wgkwEeRaKsSkegLREEw0AmP8rWK888ZwAAAAASUVORK5CYII=)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADjSURBVDjLY2hsbGSgFDPQ1BAgYARiFgQOZQaJr2JYxUSUIaEMDMzlaS4mcgwML4EG/AZjWfddseWx0i7GbnVpHR08eA0pTwvld5dh3MPAIPfCo7jBACbeUOxhIMvI8IrBOHoBXpcADeBzk2HYyyDruQvdNhDO85AtMo5u8MFrSI6bbAkDo+xrZBcg44ZYD1tscnBGR0cajwfIFWjO/Y8jgLEaUl8fK2nMwHBX1i2nGFlBfayxNyhggSb9A5oHxMY3Y+vrJbEaMnGiBxvQEHNJlzxZdJtgcgzGkRr0T2yjhgwCQwCYLZeMeusR2gAAAABJRU5ErkJggg==)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGIAAAAUCAYAAAB23ujSAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAH5SURBVFjD7Vcvb8JAFH92CQ5F0gsKvcBTiKGWy4lqknJBLUGRGsSCIAeuYvhZzBIkHjvDN0DwDfgOW69dSSlH6bXLli1PvDT9c+9+f957bWGxWADF7weJQEZQkBF/wYggGNWEA1sA+AAcrEyL5hLd6D6wo/BV22bDaO2VvHlRBtcAYRWfpwMPQ6UaPyXwOYYYlxTiaRQEtUIdESUwEFZq2ECAAzhim02WF8oXbQZwLGNCFVz6eZRz92y9JfYyYeJ7KiYDfnOSHLEHyJaMwZ7x8aQQoJLGfQeuiDhj63TXxl1TvSvGnE2uFVWC06SRNkh4qlfMCE/0OMdZFrAmgZzPGLD9rZF0Es2S9Gm8hGJLwVRadFtcUVUysU6bFglYoSiSUZNXiGW6znhRzzDff3xg0NklhCNhUaqiRBJB02OhmAmxyElrpwnb4sq+j8pgOi+q22vzusHKCJ2Ic7+vjx1gu6TCJKLylN/SM85mk6SCihBI72c6t8Wl93Yc5z37srT/QCje1UkBZflGhZLzwXCZaOjeu75qhYTrobNv6M27Pm/29VFfC0V41fdtW1oiTEMhNtfW6j0A5fRUvR52gYnlcxDclcEVP4cvIeF65Rfv157NsBBuG+G2QiM2GtdFx2c40X8E/dBRkBFkBAUZQUZQkBFkBAUZ8Q/iE5A4UEnCcNWoAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAUCAYAAADC1B7dAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFySURBVFjD7ZWxbsIwEIZPYmXrFCmnTpW6IXJzO0WWh6xUSqJMlZiQFwYm5GTL0odgJK9Q1i68AQNvwDu0clBoCDg4tEOLPJw8+Hy+7/dvG7Isg1uKm4KxQP8WKCJYAMDncdA2kdK5dqM0pgAoWujm83zc5y6syr00eWWNshfccSGHnU5IQVGcBkeQLl+N87zfBUQKPkSAXRvMiZhncqVMHALYXupBrxbisq7CXh3zUzJtwHRNRPiGCBtkk2lny5WqIl/Wi04YTk2aOzR1hUVlyJ8Zo3lzrRKTGJsj4EZntVagpt8r79Yt2HpXDHObEXP+KoT/hOCtK6BSIIqlqaBaH7uu+/H9IOgvYetd6ACmGmdMvKjRA1xX+8VEMpTiQT0Yl+x2Fmhf0Hv/yYt2CnZZEGU3lVNZVgmhTkWNTchOQGlCd0Dh42/+DUUx6vkODNrqJr7vjIqiV+VSENyTP3MOPTn+QM3bj9UCWSALZIEs0F+OL0XUAD5BYxIsAAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADcAAAAXCAYAAACvd9dwAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGoSURBVFjD7VYxcsIwELwH8IAwg/gDXNqkyggV1JmJPa7CUDFqqBnZnRs+QMcrUoSPpOAH/IFE1sjItmRbbjIhKq4wc9ze7u2dDVmWwb3G3RIL5AK5v0QuQjgCwLUa5MK4mA0BSWNcAkbHtpwbJp4TIca2nA0lW90Pxuly8OQKsAk7rfN8ZHvuE4KzGQG4dBGriOAQsazl0YP1xzxfj9gEToRutn2AG42IZIwAZ59GNKYNQ9Z7JORDkuszsVZySiXyZYIoS7gtUyHVkefCREp38v91AjGiSBJc+dYFp7cN1dXU4GpO0m2r9r1xBae4euH8yeYYSbZYi572dpK72WP4MfHdD4lJke54yh9MckUdjPbaET6WtJKzWXJo9D0oMo+9iefycP3ka8JSHOUIfzd0WrK5T9329H0VcEpfdeMaf4HTgxa4zZK3VVB9xYy96947r2S9AUlyDvNPXxVbj9B0cajvt7agnr6tp/qRk89mnlWBrulESPY225ov2UZYlK9iqibV1eQr68eEUaOPyIPUNkf/W2Favdzt2qUOH86BXCAXyAVy/57cN+RlP+3Aplw2AAAAAElFTkSuQmCC)
. Значит,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHFSURBVEjH7ZXPTttAEMY/w5VyJigbbj0nHqqeyilYI4VW6iFCseUT1KqiaCuRtD6QYucWiSdAPSTtMQ/QS9oXackb5BH4txNwmxCDICAu5DDyar2z38zP367RarXwFIG50KMK9YAFAItAefGmxHPAulwzCmsmIZfQMcmnAA38KMpMJZmNa45qmMeZGZ+QH5dmRhdV6C2ghqyjwvV3+9UiKWAIxf2g3V6aGV27HSyxQt9KEQpDf3VdqZ8K1vAundwqZCq2iblJwIC8eGscmUd04Hn0wWA9TsN6LyHt0G5R6zecxS/l1OqJiOCULlwbP0Be90GuG2EjbupYr1wJNZIuFbmHgs6GNbgPtlShSHOBK9GGjD1CF+R+D4LysojLh780yTQ2TNj93Lpu+SmhmuNsJ5sYC9eRdX7zeu6I63FektOwyZn6Wim8E6tLCG6PeWfckRMVaV3OUm7zWzkIlmUu9mjLTJ8KJjnEia2V8/Ez0Fv4X5ycKfqbFFhltae4upfaUexTKakIsP9IUlzn/Cuu7Ywd4pN/QW4nsbsNuy/rJ/FN3ioPvsMi//VLg/L9aBwWM2vAFyMUmw4/BWH4Yv6bmAs9A6ELA/FKMTTz5aYAAAAASUVORK5CYII=)
- единственная максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
- циклическая группа. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACASURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0I8gQWQbZmx559YYkBU6ei6QsA4OxucfEiWyDNDpGNQ60RgC5EF6cfm/wwgAAAABJRU5ErkJggg==)
- произвольная максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB/SURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhg+GydO9GAzZmAwN45tEIaJ5blIAl3O4AATGyTRMapxoDQCACYDXHjURvTQAAAAAElFTkSuQmCC)
, отличная от
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREUHujOHa5Ib1QjBADL7nEzK3XuLAAAAAElFTkSuQmCC)
. Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANIAAAAUCAYAAAD4KGPrAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANeSURBVHja7ZjNTttAFIWvCWIFK1ZUGbroprtiT/oGUWpESlcWdaKsKkVVVFkqtLKqCjnsss2yG366KnkEaDeVqr4D5QGQ+ghQUk/AqRNs5449JqhcpCNhZeyZb26O75nAzs4OkEikbKJNIJHISCTSPTJSD3ozk8ZYFhQAYHZUVkF2LguinhOor6VdH2bspLmjP5dnzMKrijV5/ttlyqo0DON7k7uJOp3mfIVXtpudznzSuFoJdjUNLgG0Cx/kXEjTjFPLcYsyc5lMO76+33+Odhk8S1zzRnst7fomjcXMXTMGjH9GGEGOMQuvKtaRuk2ZSYVkGaL25s4YaQDE4YDX29Xgus5hH4rmN8y9Qp7XWOK8vi3+/9gqG4ytfgnu9Wxbb3jeUl5Gws6dlTELbx5GSmD6ehtMysx0k2EvjgFtpGGr60MojqRrqdiCuG5zwWTs0Nxqrww31ebPAfhpePP8Pw2znjcV9o6ZzmZw7TjOo6xfGOzYuLmxjCORQSFvHqxDJsfTp8GUHNFwEVMwPBtjaNd5NY4BZSQxaJXBEQD7XWltVA2AE5/6Qre31/Fnm2tZVgFbEM8xdcbMw2Bc39/s1xX2HtjqUfje9pa5sgxwxhveWvIbZuYAEwPC61PFUtOj545kLN9kDAvNq0/mRbNCxrrdIlPYmH7N90Ix8HyG2/sA5uzELijJgO5I4sHFYvEHA/5TOHLgzpg2J8424cWPqFTbRRdEvMWMl5+DYrob+ourTOxJZ2LXbTzQNeMYEwPC61PBkjT3OOMHW19Py5iGd4TVSGA1antSdeP2QT5M/AhTQz8C8ihj+h3tLYBxMum8JsuAN9JVa/4VQIxn1Tw6kuggjLHv/wq6fBaOQFI5e7Ax9X3Z6KmCJWlu8YZVxZiGN4+ONG0mEcsqy6VPcYYT3W/w3XXdBSmGUMxLbaTxWHSVVVubcb+25fkWT3dwxEWCPDpSXBxRzZgmAqnuSDJdIy8mkZbC56goOebTV3HGSMOAMlK3a85x4E/Mbncu6lpWvZ5VqPLqQ6vXiz34tRt80W+tj1UUQHa9mPVhxybNrZIxLa9K1rvC5Jb5ktVM7ppinb4pF1UxRO1N7j9/k0j3QbQJJBIZiUQiI5FIZCQSiURGIpHISCQSGYlE+g/1F2c1joYFDKilAAAAAElFTkSuQmCC)
,
то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFQAAAAXCAYAAACVp2gDAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIcSURBVFjD7VgxbsIwFPUBOECRMHeA37WdKuOBuVKJMhUxIS/MKLBl6QXYGDlBh3KC3qADN+AOtHZqMMZOHBNXSPXwJRAh///333vfCVoulyhGcxFBiIBGQCOgMRoANMvSNiC0QwgdjAGjdYgCRoDWl/nwnrKsF6rpU07YpVnWNl0zJXgm64FkMawN6CKBoQQtY7SHEf6STfEC6tzUq8EO3U7yvGX6HiJEv5bBFf2jvU8Nxw+MkGc5LTEd5WYJpa+hmsvzSYt20BaT6cyl2SZzmnJwpd5j/M4B9SGRU4Ne0nW0CF0NJ7nZ5Wi3CrfcPCcQMucWp4OWAGRpCuOq/M6AmhosLe7Xe/UBuLJMV0PxP3SoO9A6wQiMnxh7MCmDAyyG5bkzzN7i6B2CzRhvbKCJ4WC6sd3rJL2/W0g8JwEyZwt2pwIqaoXRmySI784wS6mGXIGwcRUDbcXVVUMTkuc56Uv2qPYqQeaDLxTiJ/cLQOtOpwwslfE2+epyP2etf1Plcr9cvgPortQTTdlApCVJW9IXdmWDVV5UxS4bi8uWH/9t0IVV04AKwnQHK92vJSnkcamUAMqg+Xf9Wsuh3s3HfAFVp2xaQCEAPc9ZgKLWVnVK4Rj1Uf+jqqabfHwLxdCrB3L24PNz8Dc8bUVAPQAtOw1FQF39V7Cy/ylr4hZh8tqbBPToZ4Gf56/zYfOeia/cQr2+ixEBjYD+h/gGlGAZ+lDeC8gAAAAASUVORK5CYII=)
. С другой стороны,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAARcAAAAXCAYAAAAhpAtgAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOhSURBVHja7VsxbtswFOUBcoAGCH2HmF3bqZA1ZC4QG55qZAq0ZA5kb156AW8Zc4IOyQl6gwy5ge/QglIZyTIlkV+fqpm84QExbHzyPX89/v/NiM1mIwAAALgBEQAAgLkAAABzAQAA5hJ2gTxfniu1yGMQw2evMfECd2j3P/ifjPBzJR6EEH8OIfdpll9S1qXE40qS4j0hXo/X/wc1f+DmGxN3r9xhihVSP05zCcG54qNel3l+bvvMbSLvzBpqsb56V+byJsJF+nyz3Z7ZXpNE9YjHlSTrhboySZBn6aUU8sUkpt6D+fK4+cbE3QWcsULqx2kuoTgXcVsMslxH7Km5d/Lmst3enKUX4lkmt3cugoSIx5UkWZJ8NydEcSLUvrRFmv7Qf3PzjYm7Kw/OWCH14zSXEJwNH9v+9X4+S/lLmwvVuLzMxZRIWtyqXLILay8hqxLOVfimS1f7OC7ljNN2ieETzyYSBy9bkg7anwPvGLj7cnKN1ZmXPu2Yp37c2nHrpz+jkuRet1vNzy2UypdLterKDVZzKYhJ+SileDHkCtEI/Z6rmE2XLk+K0uAohCnxuAdztiQNxTcm7t455BHLzCyaXH2qQl/9Qgx0OfXLErX6lmVfbNWYNhvqs00yFxuxkOZSlW08w01qPO4kKZLS0sdy842JO3le4BDLHIqtrZ/Oa5k+dsWh6BfCXLj003wSldxn6+xT3VwKLdT8pzHjIfMr77ao7nBGcNsGOMpATpceEo+7vG0zZG6+MXEnD1cdYpXlf7bqq0p82+mxtePUT/NJr/Ov9ZjGcLRxlVUZvSXyMheb+zfLRO7KZUh813jVieQ2dxjKq+tE6OLrss+YuZPyxzFWn3GYiqCrPaTox95SMupnGxDP1GRX/wWqy8RMS2jaQttQ2dlcmqVj3yBwqJiUYR11EKbfm03UbowHrM1AXPj27TNW7lwHRddsobf966huqPpxmwuXfsVak9muOTsypmWGwW252Hz2mx2Nt7nUL9MUGEiy905EbS1Xg2mbkPfFG+MBO74EVfXrrnzb9tn1y8Cpc/f9LimxhpjLEP3CXUCk63fIpzSIOve+X9P0XqZi+uRywDmZS99ALETlMibGPL1D7vM9cz9VjFm5nAKOL/OJfdstXydzcZmmw1xgLjCXj2Uub689bygfTqcD/M8GzAXmAnOJT7uyWpn+Nny1P/je8/kwyQEAwLiACAAAwFwAAIC5AAAAc4EIAADw4y8jV+ER9vQMtgAAAABJRU5ErkJggg==)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFNSURBVEjH7VQ9bsIwFP4OQPdGwnTrDq9Sp3ZCxgNLl0pNlKlRJuQOSGRCTrYsvQAbp+hQrsINuAPNS3BJo0D5kSpVZLCUyM/v+3mfjSRJ8BcLDdD/BHIJcwBrgJa+MU5dzUiKcVGDNXnx8GRFsUdDQKyUNt3qntGqK4AV2moRpmnrZEVpGrZUG4s6IGN8506IDwY6RMleIGZMUk4JWFabeUTG9ynYZ+vBQFpS0Nf6gVUJORqX7WTgfIbkzs8KA9smSU51rK/LQPlcyH1n6+qUHg3EDdWLefxOX8bcgvPgi5AcZ1stkJby2TbJI5wla0CdmQ3FLtsKAkXc2QVPqddyIlFNFHUGM1tgD1ubbKzLc9veqa1K/q/W1DKyh4r06eDnJd6sjSom10Pv8zcrz35ajH9/C/Ke8u+o79wAk4xInJF9C6Poqnm9G6ALAPoCcqJp7atT0cIAAAAASUVORK5CYII=)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACASURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0I8gQWQbZmx559YYkBU6ei6QsA4OxucfEiWyDNDpGNQ60RgC5EF6cfm/wwgAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADBSURBVDjLY2hsbGSgFDOMAEOijBkWMjAw/EfFxndj6+slSXIJyCDj6AYfFINlPPakdXTwEGVIR0caj4es7EqPvHpDmFhDtLEPLtdgNaQ+z8NQVtZjJbKtOW6yxSS5BGyrcdRCVFcw/Ef2HlEBKyMjcxQRqLJvkL1G0JD6+lhJIwaj3bhigihD0L1CliHoUYsS2AwMb7AFLkJRuYukPANDGTAMGkDYPLZeDVlhrIuL0cSJE9mijRkC0eVGQgYcuoYAAFjp8PUJnYEXAAAAAElFTkSuQmCC)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACASURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0I8gQWQbZmx559YYkBU6ei6QsA4OxucfEiWyDNDpGNQ60RgC5EF6cfm/wwgAAAABJRU5ErkJggg==)
, отличная от
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFNSURBVEjH7VQ9bsIwFP4OQPdGwnTrDq9Sp3ZCxgNLl0pNlKlRJuQOSGRCTrYsvQAbp+hQrsINuAPNS3BJo0D5kSpVZLCUyM/v+3mfjSRJ8BcLDdD/BHIJcwBrgJa+MU5dzUiKcVGDNXnx8GRFsUdDQKyUNt3qntGqK4AV2moRpmnrZEVpGrZUG4s6IGN8506IDwY6RMleIGZMUk4JWFabeUTG9ynYZ+vBQFpS0Nf6gVUJORqX7WTgfIbkzs8KA9smSU51rK/LQPlcyH1n6+qUHg3EDdWLefxOX8bcgvPgi5AcZ1stkJby2TbJI5wla0CdmQ3FLtsKAkXc2QVPqddyIlFNFHUGM1tgD1ubbKzLc9veqa1K/q/W1DKyh4r06eDnJd6sjSom10Pv8zcrz35ajH9/C/Ke8u+o79wAk4xInJF9C6Poqnm9G6ALAPoCcqJp7atT0cIAAAAASUVORK5CYII=)
. Ясно, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADBSURBVDjLY2hsbGSgFDOMAEOijBkWMjAw/EfFxndj6+slSXIJyCDj6AYfFINlPPakdXTwEGVIR0caj4es7EqPvHpDmFhDtLEPLtdgNaQ+z8NQVtZjJbKtOW6yxSS5BGyrcdRCVFcw/Ef2HlEBKyMjcxQRqLJvkL1G0JD6+lhJIwaj3bhigihD0L1CliHoUYsS2AwMb7AFLkJRuYukPANDGTAMGkDYPLZeDVlhrIuL0cSJE9mijRkC0eVGQgYcuoYAAFjp8PUJnYEXAAAAAElFTkSuQmCC)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACKSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlEL8Wqor4+VNJZzn5XW0cEDZjMw3DWObvDBqaEhL08CpBjGjzJmWIhXAzJuiDb2IegkZJOJ8gM2z8u65RQTHaw5brLFDDIee5D9hVcDLn9gVdzRkcbjIcOwB3+wgkwEeRaKsSkegLREEw0AmP8rWK888ZwAAAAASUVORK5CYII=)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADjSURBVDjLY2hsbGSgFDPQ1BAgYARiFgQOZQaJr2JYxUSUIaEMDMzlaS4mcgwML4EG/AZjWfddseWx0i7GbnVpHR08eA0pTwvld5dh3MPAIPfCo7jBACbeUOxhIMvI8IrBOHoBXpcADeBzk2HYyyDruQvdNhDO85AtMo5u8MFrSI6bbAkDo+xrZBcg44ZYD1tscnBGR0cajwfIFWjO/Y8jgLEaUl8fK2nMwHBX1i2nGFlBfayxNyhggSb9A5oHxMY3Y+vrJbEaMnGiBxvQEHNJlzxZdJtgcgzGkRr0T2yjhgwCQwCYLZeMeusR2gAAAABJRU5ErkJggg==)
. Поскольку подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADBSURBVDjLY2hsbGSgFDOMAEOijBkWMjAw/EfFxndj6+slSXIJyCDj6AYfFINlPPakdXTwEGVIR0caj4es7EqPvHpDmFhDtLEPLtdgNaQ+z8NQVtZjJbKtOW6yxSS5BGyrcdRCVFcw/Ef2HlEBKyMjcxQRqLJvkL1G0JD6+lhJIwaj3bhigihD0L1CliHoUYsS2AwMb7AFLkJRuYukPANDGTAMGkDYPLZeDVlhrIuL0cSJE9mijRkC0eVGQgYcuoYAAFjp8PUJnYEXAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD3SURBVDjL7ZM9TsNAEEa/A0CPJZaO9OErIlFbg4s0KclqOytVtClcuIrG7nIGutyDq+QGuUNgMEGRWfMj0YAottmZeTtvRou2bfGTB78TOCe2AA4Ad0E1S+U0ntMuBwcny+rTDrsCty+ijvsxjcXYAfvUg4PArsv3wM1mcXbHqwcDnnb2IVA1ZCKyIrCjb6ansSgsRbg21X5sEGi6DKHsA02VEsuluGpovkmgJ/Ve43VxicejlqkKZR2beGH34Hz7pS2bLun1bY6vhaZq8zwuJKWbBobJaBJ01HWKGehnWucZ8+rmBZy722fd1aKuz//QT/kHfus8AXkl7zbLrD1PAAAAAElFTkSuQmCC)
перестановочны и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAAXCAYAAABdy4LVAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAH2SURBVFjD7VixbsIwEL0PYOtSJEynfgBclw7tVJkMzEgkylTEhLwwMSCHLQt7xcZXdCg/0oE/4B8oTnAJxk4cJaCq8nBDJO5y9+7duwuwWCzA2bk5EBwoDhQHytVB8RHWALA/N7LzGO+YAp18cBty3tT9ZkLJVMbDIOrfokDOwyYCbC/rORr6a2umJEW2vM04jhu6Z51FAfZN4HHmdQjArihG3ZbkdCw8zYF8y/xETbrmaAPF8bjhtWBD6GRqU3DWR/cb0a0nQj4FKLdiiDRG6UAyN2FqpimB573rGqSnnILoifrm0RA+SOlcUFUtPEDkYYijPH8b04+1eQyKGl1KU1REU5bAPi8gozh6Y+xFxzABUlJQQeJX1RZNo61BOY2BvcgKH4p0ziJ2nwUlSQT9pRS7W4/OhbZY6lklRLM+3pC//lL8wAgJlEgiZVq10ak6PmWYWjg6utWmjpFOzHrYXmVVPi8hOZ4ytkkAq65lW6Zai5EsXLygC90vCULywnZvpeqPTECuYpMeqQIunm3EsIyZGl0ISrZbRaLqI1kKFpz7pIWlW4iNtHRX2KICfP3DLV8bK535ddH78rA6HHcFV/Gf/PaRK7bua7PshvgzoERDfAYMZvXdDv1HAt2PAyvu0iMPZg+UDdxXsvvrwIHiQHGg/HP7AUDwGXf3IA7KAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADwAAAAUCAYAAADRA14pAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALHSURBVFjD7VZBTxNBFP6mGE+YeEU77UnOdAfCieihWYcoGg4bst0sF0xDmmYTLLgHpVNuvXjgDwj1Rv+BwMkjv0Cg3NX4D0RxpnTrsp2la6OJCXt4aZqdee993/vet4utrS3cpLhRYFPAQVjAGIBbV8Mai0vy+7z+zAVAQrnIvwBiWQM9kzaQSQS4ZGBHdvhT3jmXF7+rIMToWJ6fjZ5tNsvjnOIDIfgBVmrp8m3ahWcyl8yX+8xrjam/OrEemTbLtIJeZZ0vvPKaLZnmi3KzOZ5I0iWGFnMaT4P/DsMusvwwmiBE0nsdYOFb9xlwBsoP4u5eF+02MnJ8seryy8VpSshXTJfehYcwT7EP5uwkmrDvl+9wSvfC0xA2WwBYxxViYvC8e48RnEYJUVIuMfqWUhxT7r0cRaIVM18Lg4mSaYB0KK+uRZ81anyKu425RICFxwuU8r2gedX4apFugM7v66YkbP6Qc/ZGEnIWJkSRxExzM4fcp6RSDvxASnRXyVMH5oqq/lA5esBqmsxuBQbgLxWey99z5oonuvMO5yueV5yjMI4CwF0pM6deNel6kqYUUM9zswZwooDG1er3KNwJtSpR5XRX4Bqj1TNXyLQopR9DJhBrNkrOnHuWasAAPeKeKKiiDmN1W3gPeBaHw+QcGB9gnLielwXamWGT6qoQ+Bb2GRVVTteki51fmqTMF1lBLYACMQ50u6pXg5SzJKPHeIfZYkFOtaYm1M2lSEgo516O47xZqQ17FfYBy3pahcaoKkbOzm6c/UebUHJWibtTktOUO1uf4dWV/utoBHeWhK11lUUf71vl8l2dS/fIOaXm6gZwQSL31+NUNbiPDIuzrpgcdMTiRB54hTxf3t7evh24+cyM+yh8N3iuguexLMlbHPUd268Zk0O4s5OSmEa438u6eavo6xWaflqmgFPAKeAUcAr4P4pfw6+rf6EHF3IAAAAASUVORK5CYII=)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADoAAAAXCAYAAABaiVzAAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAK+SURBVFjD7Zc9b9NgEMfPCWKi0JFCnnTr3PhSdYHNWA9KA2KwqsQyAy9WFVmW2rSyUFvsbJVgyYiEoGXMB2BoyPeA0u4I8g2IKM85dZM4ThryoiI1wynxk1j3/9/97pxAqVSCqxBXwuTU6JUxqgHEAeBaREiTFNPKq8V7facCEGvpOZVGMpqX4aME8Ef4EgG/KSSJ/VIK2zhJo2d5GwB4YrjuXJdYIaigsK1AFxpuZmR08wgHwHjV3Nu7Qdc6wj4keM10nJlJmt3NpR4BsDq33VT4s+2CggygDuzhYaBrJKOOY87wBHxh3N4IztwcZnsJGBD7vkie52VSVYrI4zra3TRjnxlIdTS8zFhmVFROTkLyKy96i3R9KlhZI2Qk/B6FVBi/APeukPMf+t1LeZHzHQQ4xpybDc4pv474WtfxpdBwfJGGgY1aKtuEhFrTTHOWOuGsph6L1wZTrfVJYmur+ILb9j2fJtUqBnPp5pay1EVRxE+A+v5Ytm6ALfhLIehG8kfQ3cE357+h6+dFvmN79u0zo5tBlxnm3ziOcUcG6WQYbCONhrGNNlGJjRtdyssN7/754sP8gWNqN8k8LR5/R/TBlvBuFbQSo8dQX6M+tm3btlVxqigckWCmNKs9zrBUdTUwYXO2QaPD08l3VHDCtx+2lQrEXvnbulnQebVQ1Dl/3u6hoyKmqc2qCagxZW0r3DWLc42EuK4xh4CHwyyEXp2w7RWG7MF7zXRu0Zmn44o4btBzUtMg7phKmh4rTV3d+FuKaA7IR4Emi7N1xjv3SWt9G5hpx6zf4tGRvR10Zi+Kzrz4jcR6Rb64xK1nkaMQwp9IS0lyle6DDnw7CzJUB8JYXGb43Rfz7L8XBRKd/9n85dTq8FBGXWN5YdlwF/6XH+ukR8zuk47ref60XC5fn/57mRqdGp0anRq9rPgL0nNi3pxAERsAAAAASUVORK5CYII=)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFNSURBVEjH7VQ9bsIwFP4OQPdGwnTrDq9Sp3ZCxgNLl0pNlKlRJuQOSGRCTrYsvQAbp+hQrsINuAPNS3BJo0D5kSpVZLCUyM/v+3mfjSRJ8BcLDdD/BHIJcwBrgJa+MU5dzUiKcVGDNXnx8GRFsUdDQKyUNt3qntGqK4AV2moRpmnrZEVpGrZUG4s6IGN8506IDwY6RMleIGZMUk4JWFabeUTG9ynYZ+vBQFpS0Nf6gVUJORqX7WTgfIbkzs8KA9smSU51rK/LQPlcyH1n6+qUHg3EDdWLefxOX8bcgvPgi5AcZ1stkJby2TbJI5wla0CdmQ3FLtsKAkXc2QVPqddyIlFNFHUGM1tgD1ubbKzLc9veqa1K/q/W1DKyh4r06eDnJd6sjSom10Pv8zcrz35ajH9/C/Ke8u+o79wAk4xInJF9C6Poqnm9G6ALAPoCcqJp7atT0cIAAAAASUVORK5CYII=)
- единственная
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABrSURBVDjLY2hsbGQgBzMMvMb6+lhJYwaGuwwMDP9B2Di6wYegxo6ONB53OeNZsfX1kiB+jptsMS7NqLZFeth55NUbIhvkIcOwh8E4aiHJfowyZlhIssZVq0KZXSQZ9I1jG4QHYXSMahxIjQB5UmIFEOz54AAAAABJRU5ErkJggg==)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABnSURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhghG4dIdIxqHCiNAAfkYEIeS47wAAAAAElFTkSuQmCC)
. Значит, согласно теореме ,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB/SURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhg+GydO9GAzZmAwN45tEIaJ5blIAl3O4AATGyTRMapxoDQCACYDXHjURvTQAAAAAElFTkSuQmCC)
- либо циклическая группа, либо группа кватернионов порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACmSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MDLJvPPLqDXFq6OhI4/GQYdgj65ZTDOLnuMkWM8h47Enr6ODBqqG+PlbSiEH2FMzUhmhjHwYG47ux9fWSOJ0UZcywEGYqiG0c3eCD1w8wZ4H8gE0xdg3Gxt1GsgyniPO0rOxKmCKw8/D5ARKksjdhGtADAWsoGTMw3IUFK1GhRFLEDdLERwwGAAg3JvZc6w+TAAAAAElFTkSuQmCC)
. Пусть имеет место первый случай. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFYAAAAUCAYAAAAXxsqQAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIfSURBVFjD7Zg9bsIwFMffAdg6IcWHIM7cqUIeegGIMoGYUBYOYNiycICObOUMsHbhBh24AXdoscMrjrEd44C6eHgSYPz8f7+8DwOsViuI9niLECLYCDaaDeyYwgYAfppGjwXn/ZBDqmrWYwnsAciJlXzQVfSj9YWfXceTMzaZVVXPK2OFA5ov3xsOE7bXHfgaL9mAELYN3f9sfV76AU5Ax5ubhFE+c4KVGwjZqtm1zOl7l6yYD8mCDOeLRwT5DH1OqLzoU4CjSb8Azkb81QusKbsEGJ+MqAOsS6WZUWQtQOC6KhKFy9LK2YRAeigKOsUSH/HRQKyjvy76fB/UTfnf6dsOR0lvhKGCsmUlChB7EJ4Al0K6k7DOflX/dYmRbxGUXlr4vZxSnmXkEwMP1WfLRPFAsyz7MIF1ZWvQ8EqS5Etv0m0iJTxDKcrA03RHac7RvxCKIPVeiUGIByUC1oGF6DMDvbaOckinRrCX3qprkEnkGJx3AQrtofUkrQ9Xy07PPHXNNhhC9TUGkAHEvWD/EsbSIlrbQOiUboIgBxSt9kd9j9pKbLeIUH1t5W0F62gFrmTyAuTTZyQUtW9eoMjXdLw2iVHPwtJS24DpPNsDDL2p4Jk2sLYe3jbwDGVyO9HRuQvstW+d9yvloQPCC7b4TL1BiPfqmg6wTV93wO4+rZ+vxxn8k7YNbLRQsAV96b+VJEKLf8JEsBFstAj2v+0XAKbSmSYl6iYAAAAASUVORK5CYII=)
. Это означает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACXSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREVHQ6SxJYNxdOVwT3KjGiEYAL/5nBAMpnD5AAAAAElFTkSuQmCC)
- нормальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
, и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAAAUCAYAAADmzZEdAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJLSURBVFjD7VixTsMwEL2JqXwAUiymslMLISHBhCwPMLAgpVEnUCfkhYGpcrt1YegnMPINsLLwBx36B/wD1DYOjnEcOyQDkodT1KS+e/fu7tkJLBYLSNavJRISyYnkZG1JXi6nA5rBKwB8Ah4/uRbNC3whnwP6oIwfdg1qjOFJ+TcNbyac7/nxfFsN7u6xqfwLSm+my+UgupOlMwdYzid7GGADGX31Oe4iGVzMLyp4rJhlQxj3NT5E7u67xMMZPUQAHyYnZfyGorodeogcY/SIEKzbJHFH0H1Il0nwCD2bU6K6tdrNLuLLOJFN4MPmK5wgn+b8LJ7knJ4Rgmd2UiJRTMgMAVrHyIQesdDCyK5B9NkkySZOke6WK/lfj7zEYqsr5p82PqExjJ2fIhi9a6CymrjgoV1STsM2AXPsQ0wSaHSV1lztp2lMm0iJwdaF/DidEsKuxXUE6F13SoExzzkbiuR8AX82zrBOqiMpy7I3e4OxE3cRpOO7MLbBprXYjqWmpXlTdpO8lQqRkJmIcCiuNvF9dICKMXrxgVaJuyXLJyNtsNWRXMYKmGqnVIhFuupCgzFhtzFOnRUPXGdLRUzi+n5oYUOw+Qoi1ofE+u1wq7subQs9rsQcgUKObnWJ2rob6r8NNntPqDsBNZJcOdB/BxM6LMa2BKGf93BGtmPYRAt8JsmVl6YeX4zq8Ll4cJ3b/9VrtU2ySjwf5owP07eLrjppcnyAztmJ+XvbTXNpuLjS9x8eprtH+/RytVrtJJLTV7hkieREcjLbvgDM4C5FaK+ZsQAAAABJRU5ErkJggg==)
Полученное противоречие показывает, что первый случай невозможен. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAUCAYAAAA6NOUqAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFlSURBVFjD7ZYxrsIwDIZ9AA4AEjkEys5YZeACD9SVCXVhRmm3XoN7cJE3cAPuAILi0Dp2WtTwhkcGD7SN3c//Xxuoqgq+Nb4WPMH/dcG63k7MHE4AcL2Hynb7d87vMrXHszA3p21dT6LD28IsFMClXagoi2mms8OYgggvQa81HF1NF+piCrvwmiDA0wZLTQ4o0y3omqHXxxjKhxR/NKAFRn+H4NEZelOu8Fq50St6zYN34EJH74lpgtjw3P3m5bticPANuO8SqYHM98Qffqj/Y5ZiYs+qzyBO6YNvHKZ+PVDQ59zamQSPzgx+ThK8U32krccqT6HQsvR5+lwjQLdBfY5+ddzmMw1wpkWw+Cv4AjHguUElObENj+8uCSe5ohe+fU9KHsv2nOWDKw/hh1ieEW3QsOMGzieUD62vIcqLOZlJ7w08aZ1xwyI2/JAVGGoUN6zRkdKGSn9vE3yCT/AJPsH/87gBTv4uwz2Wl/0AAAAASUVORK5CYII=)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABnSURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhghG4dIdIxqHCiNAAfkYEIeS47wAAAAAElFTkSuQmCC)
- группа кватернионов порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACmSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MDLJvPPLqDXFq6OhI4/GQYdgj65ZTDOLnuMkWM8h47Enr6ODBqqG+PlbSiEH2FMzUhmhjHwYG47ux9fWSOJ0UZcywEGYqiG0c3eCD1w8wZ4H8gE0xdg3Gxt1GsgyniPO0rOxKmCKw8/D5ARKksjdhGtADAWsoGTMw3IUFK1GhRFLEDdLERwwGAAg3JvZc6w+TAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAChSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXINgoDbVwm75YXhq4pz00+DBii+40jGyyHU5Ib1djIAADr+ZjP0qMH4QAAAABJRU5ErkJggg==)
- группа порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACKSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlEL8Wqor4+VNJZzn5XW0cEDZjMw3DWObvDBqaEhL08CpBjGjzJmWIhXAzJuiDb2IegkZJOJ8gM2z8u65RQTHaw5brLFDDIee5D9hVcDLn9gVdzRkcbjIcOwB3+wgkwEeRaKsSkegLREEw0AmP8rWK888ZwAAAAASUVORK5CYII=)
.
Пусть теперь
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD2SURBVEjHY2hsbGQYbHjQOWjUUWQ5qj7Pw1CWgeENA4PsG4+8esMcN9liBgbju7H19ZLEGFRfHytpxGC0m5B6iLkM/2XdcophbJidWEMKZLCxnPusaA/ZelkTkxWysh4r0zo6eIhxVJQxw0Lj6AYfQuo6OtJ4PGRlV8rKMtwEOQyml8E4aiFWRzVEG/uAHGPslpeCz2CQOogPsWN8joPEiOxN5JDB66goY9leOWP3WcSGDinRhhx9sBCCh5wMwx5kj6AZLnsK2QfUDilY1CHbAU5XMh57kAMC1SKkICQqlEBRQUK6Q1ePKzONllOjjhp11KijkDAAlNiev5XAUFUAAAAASUVORK5CYII=)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACXSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREVHQ6SxJYNxdOVwT3KjGiEYAL/5nBAMpnD5AAAAAElFTkSuQmCC)
- максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABnSURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhghG4dIdIxqHCiNAAfkYEIeS47wAAAAAElFTkSuQmCC)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACXSURBVDjLY2hsbGQgBzMMcY1RxgwLGRgY/qNi47ux9fWSBG0EaTaObvBBMUzGY09aRwcPTo0dHWk8HrKyKz3y6g1hYg3Rxj7ItmLVWJ/nYSgr67ESZjoI57jJFhO0EWy6cdRCVNsY/iM7Haf/ZGRkjiICRvYNsrOxaqyvj5U0YjDajRyCREVHQ6SxJYNxdOVwT3KjGiEYAL/5nBAMpnD5AAAAAElFTkSuQmCC)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACKSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlEL8Wqor4+VNJZzn5XW0cEDZjMw3DWObvDBqaEhL08CpBjGjzJmWIhXAzJuiDb2IegkZJOJ8gM2z8u65RQTHaw5brLFDDIee5D9hVcDLn9gVdzRkcbjIcOwB3+wgkwEeRaKsSkegLREEw0AmP8rWK888ZwAAAAASUVORK5CYII=)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACpSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5eEqshEyd6sAENMZd0yZNFtwkmx2AcqTFEE9uoIZRhAK1DpvJN4vCuAAAAAElFTkSuQmCC)
, и, следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAUCAYAAADskT9PAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFpSURBVEjH7ZaxbsIwEIbvAXgBJN/YByA3t1NleWCuRCymVkzICzMy2bLwEIw8Q1m78AYMvAHvAL1EThzXCWmrqpXKcPIQ5/zd/58vgSzL4DcDbgB/EiAl2ADAuRl0nFo79Pfl+WygBOyK55RuYrlWmsbl+3hSxo56K8AQpFfjBpRQu1meD6LAEQBrp0MCOLa91wpQVIa49YnLSj6q0HVISrhGhAPK+eJTFlijRohq6yecS1zEDrET9SAlLUM4BiYplwh4iEnfCVBU60nqfPQtcaGVejbm8R4h2TuAQhXStg26VxMKId7qBow3EB8kpXniNQHcuz2ayE6sueMG7ZI/ClAmS15Dr6NWvcvPh7o+YIW4al5DqN4AofxdwfKzvO46suckzUuV54r8UYDw+vmd7svpfI5d02o+9Cik2fkAJ+d7CMEVOYB6uNQDiH1n28I8X2rCtptxraF+9FvwvwGqcdsyD27/A9+JC3wuoiUGL/VkAAAAAElFTkSuQmCC)
- подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
. Но поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEsAAAAUCAYAAADFlsDIAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAK7SURBVFjD7Ze/T9tAFMefQ0eQkDql9YOpO/bRrVKXyr2KQCcrOJYnJKtC0Uk0rbw0XLJl6b+AEjb4D/i1dOQ/IA07/RuKSu9MTI05xyZ1OlQenhI7754/930/zoFutwul5bNShFKsfyiWbcMcADy5b/ac0hfGvrb69xsALRZHm8Um8vAWwal8eGMV9jQNfok112LhT2maZo5sFuhxv17Pn6cIR6EvaQxUsdqOsSHiiFhLP2irszILsbJ4i+JMByAwIG6nFl27BPqg0zO/15t/4GvCvgqCB/ZzAnAJSE9U67Ls8BAqaZUwDe/fcipvBoG/QBEP4gpzh6wDkJHHefW+r/eMaDBKgsmybhD8iggXSNnHadpq21puwWpjL8s/D28RnMqbnFEDkR5EQWXADxZ+Bnx3nFSeO/Q1peSLALuMCylhiWW1EfAib/tFc8Uhlb5sJaTNnTzr8vAWwal+uMyKubkfDbygbrwXn9fE42tJX5fSLcboKwTzPIIIy5q4u00LP+VpQSkSY55uAgylSKrnTBQrB28RnCn9Xxkg4rdoWIqhd6VSXZY2pczm3KuagOeUcUPOGZeQXYezF1SH06zSjoYvgDn0GNPFoKo8esBn8BbBqRRLBjY08yQ5m9QZFaUtoCSEGJAj4vB1kaWWzGgYR4LlbMHbjcBw2dpuTXpVmYa3KE51SRO3r5wniazL0palG1aHyI7o/d2XtLl1dxTr9PSxp2CT4k5YHfj22Pb9xazTMI13Fpx/voxfyjbF8WrUA9HzN1o86yIj39FqtqIBylgNDaPejTYTHtVIj/wgWPB9e9HS4ex2juSrkKR1WnRlCeAq7TScxBs/6YrkfAg37vvkkO24pBaJxT2ydjcfxpsR/d+WrZCME4JN8Y6VW8wU3llw5ofzyNPqG4blf8PSSrFKsUqxSrH+O/sN0SJJ97GBEl4AAAAASUVORK5CYII=)
, то этот случай невозможен.
2. Для любой максимальной и не нормальной в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD3SURBVDjL7ZM9TsNAEEa/A0CPJZaO9OErIlFbg4s0KclqOytVtClcuIrG7nIGutyDq+QGuUNgMEGRWfMj0YAottmZeTtvRou2bfGTB78TOCe2AA4Ad0E1S+U0ntMuBwcny+rTDrsCty+ijvsxjcXYAfvUg4PArsv3wM1mcXbHqwcDnnb2IVA1ZCKyIrCjb6ansSgsRbg21X5sEGi6DKHsA02VEsuluGpovkmgJ/Ve43VxicejlqkKZR2beGH34Hz7pS2bLun1bY6vhaZq8zwuJKWbBobJaBJ01HWKGehnWucZ8+rmBZy722fd1aKuz//QT/kHfus8AXkl7zbLrD1PAAAAAElFTkSuQmCC)
имеет место
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAAAXCAYAAABgWeOzAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJwSURBVGje7VgxTsMwFPUBegCQ4t6BmpVOKPXAjESjTFSdqiydK7dbFi7AxsgJGGBl4QYM3IA7QL/Nbx3XTmo3CFJ5+AIpif/7z+8/f5esVisS43cjkhBJjiTH8CFZiPyUsUwcU2H/qSYvQKLgZ5SQT0LIl4yEvxTL4iRl6WJalj2fxGNGHtQ67CMX4tT2ziylc8zFsuXVUZNcltMeT8gLIfSTF+Jsh3Q2fghJvszYlbnmztrrjfTdwM6RvCHYUSyozVdldRuHeM4pfQKSQ9buHMmqZe1qk9/e8OEOST8qrCMI3mFpumCEfJjvZYyJPGeTOivxIXlrTZZo6EK0LJrO5lv7qvKxFYx6D/LB371I3nwcaAd1UaRsclkUF7C+DggsBEiXxByQty0lSw4ofaSUvCNOHZvMsxYKPrOJshaQuUDVS3VF+CkOgMNhCYemTrLsADa+w7yhVtEmyaor6btOGpJsE6HkxrDWIJL1ZyFqA+D8RgxNwDilqE0Mt4q27UKvH4kFAZg48ZnJ1352YTn06iaDZqtIrxGYbK/1+iPWv8e16qxC7yIoJuP81nYgt6FktAq9RsQLOeX/Gk7X+dUIyDWmSSICxiuZqz+6x++QNLQGzGfrHlXEVjmmytomWWKh/BGxmvl1McCzJElebeLYC9DGGoxWc3mma7qoerkCq6aMYmJtaw0wYBiQwfO+FtIGyfplCC9fuqj0yxlOFTZOOnOtlhuEJ3rl5mn37kNrsllF06a6RNBJkl2neJskm1bhi6+TJCv1Dt50P3T58aE1VWyrYfowf89x2kVXourpYZPNn12rY0SSI8kxIsn/Ir4B40m31X82i5IAAAAASUVORK5CYII=)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB1SURBVDjLY2hsbGQgBzMMvMb6PA9DWQaGNwwMDP+Noxt8oowZFoLYDAzGd2Pr6yXx2lhfHytpxCB7SlaW4SZIc0dHGo+HDMMeWbecYrwaG6KNfRhkjU5F5tWrgvhEawQ5D2QTqvNlb3rk1RsOolAd1TgkNQIAHDxhDONPgF4AAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABuSURBVDjLY2hsbGQgBzMMDo319bGSxgwMdxkYGP7LuuUURxkzLDSObvDBq7E+z8NQloHhDUgDiJ/jJlvMwGB8N7a+XhKnxo6ONB4PGYY9DMZRC2FiDdHGPsh8rBrBipBMhxmE7sxBFKqjGoecRgD43WILoaWoLwAAAABJRU5ErkJggg==)
- различые простые числа. Более того, мы теперь уже можем предполагать, что индекс любой максимальной в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
подгруппы есть простое число. Это означает, что группа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
сверхразрешима, что в свою очередь влечет сверхразрешимость подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAE6SURBVDjL7ZOxSgMxGMf/Z127WzFO0tn2sxScjxjQIh0OaY9MlQ5yXNErZKiau81ncJB27TPok9i+wb2BoiZqodSr3iB2cQgJyZdfvl/yBUmS4Dcb/gToeSgAWAe8wrKNr4DzEWPaeLz2LbC9hzsT/QzQVGpd+pKFgQ1OKsemezHjJyaC8x+VdYsaAEtFqCuLa4MzlxiQwqHHxQOXAn3C0MkA3qhu8YC2by2QifAi1x0qJTc55z0CpuTHR/OqIadTzunK6pKMD3MBrW5Nyo4BTqilG3Oq1ZoIOgFnfaM7ybzfbF3SUkc7Ygv3jAf9maogcRnG4YaZfwD5w1xlY3WJ/Ov31yaMQO3RTFVE8a7NksFJs3QzgVrWy3Wpy58P0zSZNLVyS+RGVTsXumzflFOvq1RxdT/lH7ha4BuJsuMn7kAh9wAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAF9SURBVEjH3ZTBTsIwGMf/4JXEM2blpme2xpiY6ImMGsQb6rbsRLIT6cGZcBG63XbxGQwceQTEF+ANiPIAvIMB28mUmGEAw0EOX5q0+X79+uvXIgxDbCuwW/AekAWwB/SyqUlA5nM9jszK8CjycmWCvsyegtqdtKSWpV9J5hQoTJgfFNfWYhvopsGbTfeAAmMQ9uxFUW5tLUK4eQl4g8YGiwClwKbkkRCMCON3GzkXFjtnjD4AdOwKkf+ep1Vqmi0CMmJc6BvBHcbqnJfOCIxhAo91UKfdMMn9KkpS4UqJafJrNRogQ1XhTOpwKG1bgh8yDYNVlKTDlRIJnHsfU0tUZbU+dYOKqj7ZcCO4UqKOrFpSVSkdt48ZryfOf16yilrc77PMUrjqBM5rmq7fhMnjsSk6IBd9BfO82r6p4QXGbXfxcc1P+ErMhr8UHri0Ijd4j4PaT2rOkp7VhQY+KxaAydc6KfcXqw8cevkr/C+xVbhwT45IiZ/u+Jf7L+AfGg+PooqM0DsAAAAASUVORK5CYII=)
- произвольная максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD3SURBVDjL7ZM9TsNAEEa/A0CPJZaO9OErIlFbg4s0KclqOytVtClcuIrG7nIGutyDq+QGuUNgMEGRWfMj0YAottmZeTtvRou2bfGTB78TOCe2AA4Ad0E1S+U0ntMuBwcny+rTDrsCty+ijvsxjcXYAfvUg4PArsv3wM1mcXbHqwcDnnb2IVA1ZCKyIrCjb6ansSgsRbg21X5sEGi6DKHsA02VEsuluGpovkmgJ/Ve43VxicejlqkKZR2beGH34Hz7pS2bLun1bY6vhaZq8zwuJKWbBobJaBJ01HWKGehnWucZ8+rmBZy722fd1aKuz//QT/kHfus8AXkl7zbLrD1PAAAAAElFTkSuQmCC)
, отличная от
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABoAAAAXCAYAAAAV1F8QAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHbSURBVEjH7VXNbtNAEP424UjplZYOvfXceFxxgVuwFqVB4mBVseULPxaKrEUlLStEyzq3SjwBEqpKj34ADhReBLVvkDcoUHYTTEsxSE0QF3IYeTW7s9/MN/Ot0e/38S8MU6C/ChSGqAO4BIT13wUWBWqjM85OxFhAkY9dAXwG+CgxZu6XIEB0A9q0n692fcyJaY1N3XancReggVSmcX7vRbfJBAxAd96nOzuXx6ZO63RGkjgQFUBGh9d8oncEMeAkb03UI5uxx1JuMXDIHdMu/SeWq5j5ZRzzIwg+rKL1QkAq4IdSqZtyAR8oyHplX0xnpe2qiDzsg+O9iaZuSBvLLZWrq9+BNsoqiaNXWifzHsTRRWirBHIXyiS/5dYxYw8cvdVpeMWBu8abDreraHO0/hj3oqgVQO2PQFkQrJWXKElPsRB8lP7117KXLzv6qmhzmno+nFIcO1sMur1YygdnJ/KnjJRaJabbb8JUzzpfHvOqdX9xOnEi1mnTd2NNweNNq+r6aXK0YTX3qUwwk7ROMluvrMgk3CozArxhUN6Tyysyu1+K+HTfmh/tjnqazDeEd+DO4yx9516Vid8wk9xYslTeG2msObcIPLNAua3wSar1zPQ3MQX6D4C+AXEQT6Wpc0qCAAAAAElFTkSuQmCC)
. Рассуждая как выше видим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAUCAYAAABmvqYOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGFSURBVEjH3ZS/TsJQFId/FUdMXFFuN51pT4yJiXEhzU0At0Zp04mkE7mDmHQRLmxdfAWjjLwBEV+AJ9AgO+9g/NNbBBkKAQ2DDGfpyf3OPd89p2i1WlhXYLPgNpACsA3YqaT8J6CN83FoS8PD0E9zhq6m4R3kPCQdqpeN84j5AegjXmvmVtbimGgnwWVg7xMwBOOPfhimV9YSBN4eaRggy3uzAKXDIXbLGF4YF1e/ci7L/IxzugFo6EmZ+flOJbKsug79eZGOhXCX84oQ+VMGsz+BxzrIbVQtdr2MkkS4UsK5sKX0MiZYnwtpdDrYcokaZSkOeBa9ZZQkwmMlUcsKHj3cK5VlKbptjTxZUIUNVXAJJYlwpUS1HI9kdMvIceOIVyvTEUxQMt6LztZcuJoEIYrMMC5ak+VxCfcRrOsHwY7v27tWFk8wLtuzy/Xd4YBZ1dpcuPSoEG3bWxymczeGU109aLPGczowmuZVwZnbN10qLoT/JdYKl97xIcuLkw3/5f4L+BeRvZESobxvmwAAAABJRU5ErkJggg==)
- примарная циклическая подгруппа и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEIAAAAXCAYAAAC/F5msAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIASURBVFjD7Ze/bsIwEMbvAehepJh3oAdjqw6VCRJzJYjSCTEhLwxMyLAxlBdgYytP0IW1S9+BN+AdKOfUxIX8cQlk8hBYbN/d777v4sBsNgP3zMBBcCAcCAfCgbAFIWVYRQzkLQOVEWM+H1R8DzYAsGft9vsDsG9fyPpVQfQQVhQAALehlNWkNUPORtEa2GMw7ZQNoodsQYUrIIytbSH8WxHTADsAbJcUQAq/zgB24PmbwXxeKVsR5vnUEMb8dVd267YxrZOMZXcOgvY3GPskEKdKKAvEH1vw4ShSZ7p6LwZBHUfOJwiwPS02QJRhiP2swGaM2GYJD/ZWtsXSOfSfqxat1t8mJkGyBiE49l+EeKREzOBkFwKjissooqgi1P5DE3TsqJhkm6bur7WWgc8kazQ+yDqmha2SpE5w5BMxFfcmCEUaewudZJotioI4KsEAreZVyjxKm28EALnoX2wNKtjvyqejrA8JaTiUSDREs/1YxBqn52swNrYw3yg1bC3TwFmBEJy/6iSUJA+daGFtqWWZZ4uiilAxjfMvsUXenSI3Se0tTTLqTnxP0IMorztFQJigCYLneV954M8UlbM+M0ldtHmRit4ekc/OJH6jYRlP/fhtkTWPkhSVt179jMeDu2YzfL7lre9aMdQ50HwbjMd37qPLfX06EA6EA1Hy8wMjnLjsW+Su7wAAAABJRU5ErkJggg==)
для некоторых
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAARCAYAAABEvFULAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEnSURBVEjH7ZU9DsIwDIV9AC6ARA4B7goTijIwI9GqE4gJZWFGoVsXDsDYU7BwAm7A0BtwB5BTBdyo5W8CKYOlyk3sZ7+vKmRZBv8SfyM0iH03jFZ9AXABgKuQqzV/FyMUlLeBcfEzm62EYZka0+X5lRRrTLaTn8HAmLQbRdEeAUouLM+XHYlys8zzzkux3AZXhHK+Xf4m7ta56Kmj35DHNsEJ1bd3md2ECEq9eMosTcqntFxhvKOivFiT0GeDtIWWckr2V/yKs9KmX+Vx4Z5bxfrbIztUD45NTNUGxMR8KtTWVsmc96HebQjUxFbTDU5clCvig972VX+CAd1TMzPiSNB5rcfDJgRqYt1hXtyy+4K7bzfrW+0QFCI6NCEQfgpBbBAbxD7iBma2NqA/4pczAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADkSURBVEjHY2hsbGQYbHjQOWjUUQ3Rxj4MDAz/MbHx3dj6eskBC6n6PA9DWQaGN8bRDT4gfkdHGo+HDMMeBhmPPWkdHTwD4ihIaKGGTI6bbDG6GMW+JhQVyDjKmGEhg3HUQgwxXCGFsARiMCwNwIIaw8doBhH0RH2spDEDw11k8yChhGkHpu9lPVbmRZtGMBgZ7TZikD3lkVdviKwGlA7cjN1qSXEQ7oSOPWRROHlu8mGypqZ1ssbRWXh8LAz08TKgofsxsfEyoCXC2PRFGzNUMsh69JZ3dHCOllOjjhp11KijSMAAqFOckq1ywV8AAAAASUVORK5CYII=)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAXCAYAAACoNQllAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHlSURBVFjD7Zc9bsIwFIDfAThAkfK4A5i5YzASF4CIrWJCWZgrw5ahvQAbWzlDWbv0BgzcgDu0tYMT242J0xopSB6eguTg9973fgObzQaC2CVACIACoAAoAGo7IMbmXUIS5utS3/f9R7Js0aERHADgC8fjlwHgJ01Z/yaAWEr7CHDmyoRE9JCu04eYxM+LLOu0EdCM4CsHIkAh7pvAcQZURgHPqoICGJnt2phBqh3LGFeIdD9l034T22odKuD8ZIuaJVK4YpKsJ20EpJVXvFxxWwHIac5Y1xug/FI9czQYU/ponqn3zQjsipI0xcg8u37VQf5f3R4TBNfJn27tIr/LBu8qoEKxgyO3yiDZOxDhKJ0W0C82CV0AJ3lWF9BfdvZG24Qiw+HwjZegWSVXHTKVS1knZKJng07eJ6A80nhUHZaAqgIobLO0A1P4uxwMidOnP5WYDZB6VpVdvktM1S+h8L6XB6oMjjyrKy91wvXIaHsNpluJVUQkN646lX1lUNVoFiV0sUf8ViA3LS+XnajWIdsoF5lhSWVfgIRupS+YjVTtRfwsiqIP134pAuzwrpNDRTkZJWKOd9+AyqlVLqbaQqosrnJ62WxyWU/u6lOj6eabl8zgvcmOEz5WA6AAKAAKgO5cvgFFF4Q7jB/i4wAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABnSURBVDjLY2hsbGQgBzMMDo0N0cY+DAwM/zGx8d3Y+npJvDbW53kYyjIwvDGObvAB8Ts60ng8ZBj2MMh47Enr6ODBqRFiK8IGEM5xky2GieHUGGXMsJDBOGohhhghG4dIdIxqHCiNAAfkYEIeS47wAAAAAElFTkSuQmCC)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB1SURBVDjLY2hsbGQgBzMMvMb6PA9DWQaGNwwMDP+Noxt8oowZFoLYDAzGd2Pr6yXx2lhfHytpxCB7SlaW4SZIc0dHGo+HDMMeWbecYrwaG6KNfRhkjU5F5tWrgvhEawQ5D2QTqvNlb3rk1RsOolAd1TgkNQIAHDxhDONPgF4AAAAASUVORK5CYII=)
-подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
, пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAChSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXINgoDbVwm75YXhq4pz00+DBii+40jGyyHU5Ib1djIAADr+ZjP0qMH4QAAAABJRU5ErkJggg==)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABuSURBVDjLY2hsbGQgBzMMDo319bGSxgwMdxkYGP7LuuUURxkzLDSObvDBq7E+z8NQloHhDUgDiJ/jJlvMwGB8N7a+XhKnxo6ONB4PGYY9DMZRC2FiDdHGPsh8rBrBipBMhxmE7sxBFKqjGoecRgD43WILoaWoLwAAAABJRU5ErkJggg==)
-подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
, которая содержится в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD3SURBVDjL7ZM9TsNAEEa/A0CPJZaO9OErIlFbg4s0KclqOytVtClcuIrG7nIGutyDq+QGuUNgMEGRWfMj0YAottmZeTtvRou2bfGTB78TOCe2AA4Ad0E1S+U0ntMuBwcny+rTDrsCty+ijvsxjcXYAfvUg4PArsv3wM1mcXbHqwcDnnb2IVA1ZCKyIrCjb6ansSgsRbg21X5sEGi6DKHsA02VEsuluGpovkmgJ/Ve43VxicejlqkKZR2beGH34Hz7pS2bLun1bY6vhaZq8zwuJKWbBobJaBJ01HWKGehnWucZ8+rmBZy722fd1aKuz//QT/kHfus8AXkl7zbLrD1PAAAAAElFTkSuQmCC)
и пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABdSURBVDjLY2hsbGQgBzMMDo1RxgwLGRgY/qNg46iFRNkI0Wx8N7a+XrIh2tgHpNk4usGHOI1QW+rrYyWNGRjuyrrlFOPVCFMIs6E+z8NQloHhDUGNQyg6RjUOlEYAz3Rgg9nAtxQAAAAASUVORK5CYII=)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAAOCAYAAAAbvf3sAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVCjPY2hsbGQgBTPQT0N9faykMQPDXQYGhv+ybjnFHR1pPB4yDHsYjKMW4rQBpsg0Oi/CQ1Z2pYmJ7AqQZpwa6vM8DGUZjE65uRnXeuTVGxL0Q46bbDGDrOxNY7e8FKI8HWXMsJBBxmNPWkcHD9GeNo5u8CEqlBqijX0YGIzvxtbXSxKlAex+tCAc4JgmFgMAd/P2AMvPlwkAAAAASUVORK5CYII=)
-подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
, которая содержится в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD3SURBVDjL7ZM9TsNAEEa/A0CPJZaO9OErIlFbg4s0KclqOytVtClcuIrG7nIGutyDq+QGuUNgMEGRWfMj0YAottmZeTtvRou2bfGTB78TOCe2AA4Ad0E1S+U0ntMuBwcny+rTDrsCty+ijvsxjcXYAfvUg4PArsv3wM1mcXbHqwcDnnb2IVA1ZCKyIrCjb6ansSgsRbg21X5sEGi6DKHsA02VEsuluGpovkmgJ/Ve43VxicejlqkKZR2beGH34Hz7pS2bLun1bY6vhaZq8zwuJKWbBobJaBJ01HWKGehnWucZ8+rmBZy722fd1aKuz//QT/kHfus8AXkl7zbLrD1PAAAAAElFTkSuQmCC)
. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAChSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXINgoDbVwm75YXhq4pz00+DBii+40jGyyHU5Ib1djIAADr+ZjP0qMH4QAAAABJRU5ErkJggg==)
- нормальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGIAAAAXCAYAAADwSpp8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJCSURBVGje7Vi9TgJBEJ4HsKORxKPzAXBoLKQyyyVSm8CFSkNFrqGyMHd0FPoA2tnwChaa+CS8ge+gu7fZY1nmfvDuwGKKryAcM9/M983cBFgsFsA4PrgJLASDhWAhGHsJMUZ4A4AfAFxPoqhNPTMT3lw/Az8YxMO6iS2X0xP/DD5NDgVPzOb/jWcRotDvegDfaR1n/mcYh6cCxeN0uTwpnIg4wCGA9+2HUTczuAxqB6sLpnl24zSf3WYek2c5I21zSznh+K1wIrKCJIGiSbvnee8qWBMO0yLQjU0mwGrqMXmq+Bdw8UFNYsorwwCqRpdT5jihEI8IsHZ/ECBGkwne562D7bVBwHGD6xZ3BWUJUQfPvzsd171e74WKnWemhPfI77vfkclCgffXYXilEtpNUWtAFZw0JKOZVaDFoxtHueyQPKnpS8R2uKbP7ZmXTKheJOqFYheYuBXHz2okKQfWMeoqbtlpORTPvPVHCWHyulNt3nEbbBuOLNgfRf3UobIxpmjlRB2weNz3XU2l1pKVty6e5aZUXzvuvt9HiCKzEWtJ3Jrgya6TBAbYeTVuaGot5RVAXVFVedoOVTkD37/Lu6yoayd3NRHC5V14u83oDF5NAPdkLHJtExeTcaQtQlWeOs9mWtTnsjXZuSgh8k5U99gghYhHeCkTfGngSiZoReHwHMXsRqsPD5vvJTB4aEKMojxVeUoRWwj4pH5XnafOnzHhMg+strhI4Ci+5L84+L8mBgvBQjBYCBaCwUKwEIw68AtbyePzpdd6kwAAAABJRU5ErkJggg==)
. Полученное противоречие показывает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAChSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXINgoDbVwm75YXhq4pz00+DBii+40jGyyHU5Ib1djIAADr+ZjP0qMH4QAAAABJRU5ErkJggg==)
не является нормальной подгруппой группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6ICtr4+VNGZguCvrllOMrKAh2tgHHrhgbHw3tr5ecoilk1FDBoEhAFgfqrRRW/jlAAAAAElFTkSuQmCC)
.