![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAL4AAAAXCAYAAAC1Z/W7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAPASURBVHja7VnNbtNAEJ5tObYS15Zszhyxt49Qpe4fiINV4igHLhGqokg0IAv14PSWG3cO/ckJ+gRQ2heAF6CQ3kHtG7QFvHbXv4nrTewk0Dl86joZb75vZnZndgs7OzuAQNw1oBMQmPgIBCY+AnFXEl8HmAaAez2h69O6Hvue3ODmWZ/OmuAAnDxu3hy9bPQw13FoG1I/SbaJ6INs9CXGYzTxj/Hmz7K8vIFpVudVQrq24aWNKxu/b/5eEmKPWWXfWIBdZwzERvGX1mw9shqaQoGcu++p36uWNZeVaHlOjp39HT1f3NxmYh7PhpBrby71WQcOD6diNiPSlhaG6vC6DumDiD5hE9SnRPSF5hlMX2I8wI1Hvvpt3g1LifLWt3VVlpc3aFXYGjBjj4+3NxdVCvSUO4c/Vxjss2pr1SHC4ADo8lGt3Z7hu2SjUS0wYB/zSAo5Ttpnzkl8BwXtpGaas54DbRuqbW7xses4uKClejPk5BFqkwr+hOiLxqMIxW88Ef14WKv56e/PexBe3qCuabqYqF6ir4KOLq+sPOdj06zNagVyzBOOl5Yym9pPuxMmtCSxtkOeExxTrbEl3rPKbB2AXgjx3GapyN6JuSxTf6ACOROJImwG1ZZnezBJ+tLEI+vWyNHGeVdaa3wug03tAbDTIO9BeKVytIC76ypfnzZrD5coHMmscN5KiFIdw4KxKxv8MCe/Evyxa+KLEn0NhP0QznBs1I23wuF20A+iQR9GW5py3Ve76u5U/RDdwRx9i+PVlxSPLLXL8nYXSTpesQ/cMuknUmjF89UE3Pf+bjMK3MqpUDrRa7X7POjmhvKE93dUq7+M8L5yYfeKVPsU3QXGpe3WXTai701ZeezoK41PH49HcDHmrj8lbxle8Zd5GS1ox1HHiVXOnUuI2tUbZkGq3A/Q6shw8neS4s/gAnFsKP3gH+aUL1XTnM9SW16tTi76YHh9TjwC7UTebV5a3jK8epWmTq9TcLClcG9A5Bw4TKuThlNiqaTL77kzLKs6xwh0Wdlaz1JbXuU+2uYMo0/M496SDKfPUHrHI882Lw1vGV7hUzu/rgLSFbclsZITWE32SXsvi93j1psECU79SmWw53NuRFSjE7wHH5e2VGV+wvT58cjnBicx5/im1Ie3LK/oDzV7tRTtdm3GOcwErsfEZ/YJ+yzP6z4ZTlE4NrwNCOyYztVXoF8cp7YkTKq+fvEYhf4k3rK8/vt/TSMQmPgIBCY+AhMfgcDERyAw8REITHwEAhMfgcDERyD+LfwFv9w5uFVUj90AAAAASUVORK5CYII=)
и поэтому подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935xBkSa64GDI8GBgb5Mpdy/AYMgXQyasggMQQAmc+pXdj44IwAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABzSURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0Y0daKI8sg6xZaBrEtkEYqqMah6xGAJo6X5LEnvCXAAAAAElFTkSuQmCC)
перестановочны.
Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEIAAAAUCAYAAAA5g+sCAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGUSURBVFjD7ZavbsMwEMaPTiobWaW6Q3uA7kpGBl2D4EqtVQ1sKqpMCqaCyQkL6QuUlW1wvE+wNxjoG/QdtvyRoySzM3tRpwCDI03O9/l3910KURSBjwg8BA9CA0LKRR+Ry66K/A99ToWkYCMCcAKArywG7CBCcUWRvizjuGd9KYBjcUY9cL7vLIg4XvbYAA4A5MSEHP0AoxFvipBjoN7P88mnOnOOsEceBp0EUUBIuq/r+oqStU68KQSl04WUfZVbPpcz9qir0QkQmdjaJFREzth9/ZmalCZACjChq7XLjkinxsVWVUvn98jvhEfVkF9BFNPgMPrWC7Bmi3Mvy+yM4WTHGZFkPH4lhL2Vp6+xkFps9a5lPq90o0rXelcY7HYOEGm9FABS8eRsDROIyvb/47RkI26Z29YaeR7ZDnGyM4G3s4amc/lUmHeHzSfUdsm2nYg0/xbIR5NW9eJlUuhB7+XgJlk074B8U/6dI2yAsO1zHF+4ChP0euqS26TPyhYzvKvr93+xPQgPwoPwIDwID6J1fAPxSZyJVheG4AAAAABJRU5ErkJggg==)
, то рассуждая подобным образом, получаем, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABzSURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0Y0daKI8sg6xZaBrEtkEYqqMah6xGAJo6X5LEnvCXAAAAAElFTkSuQmCC)
перестановочна с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935xBkSa64GDI8GBgb5Mpdy/AYMgXQyasggMQQAmc+pXdj44IwAAAAASUVORK5CYII=)
.
Допустим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAUCAYAAAAuoXvLAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAILSURBVFjD7ZexbsIwEIbvAeheJAwbezkqpEqtOkTGAwtLpRJlKmJC7oBEJmTYWPoCbGztE3Ron6Dv0DfgHdo4lpso2GkICNHKwzGQ+Pz7u/8uCSwWC3BhDwfBAToAICGCKqIv/pLwY2kuvNkAYQ0AXwD4GQhRNd0zpmSi7oEv9Oe9MoLmPvZ0Dp1H/pfNd3KAEvFkw7i42KooZxcEYAM19j5aLiu7ClkuRxVWg/dsAVRhtvc8OUDJAcxi24S8SkBlnPOT2wBX5m5B6y3r2pMDJB2ClM4Q4DMLwUcUQYDDvPbTDjMBVK1pdmYMj/kPeTMoaX9D4GCdp0fvqzRs6y8MiFMcepxfy0oTOp6k204eOhZpEVPIPTuuPYSD4hz17spnRJB2+5kQ9pJ1cKHN5CEo0hmf8/M0oLgKOHiK1xucVVhktDYN/ViAZHElGKR8uFeLSRDsXtz82DmqtoYmiavhbW+v31pXWn0fQGVaTK0jT3XsrvIeKoUAcUrv9OHjXo2GaRfrKz0zyrZX2kG29T5jD6YD7OsgNfzJh2nu7QRI96kWqd9TdDuVdYDp3SedQ88mW9vuCyjes0BR458wHJ1dXga3WyKCTjMSPleBj6MwPBOhV0Vv0lJPL+gn16NAv2+tWLSuATDtBKKZdz3J15h6ob1lbZqLBvfIlU2L+xZzH6sOkAPkADlA/yO+AcuoP2HIJ+bsAAAAAElFTkSuQmCC)
. Так как в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADRSURBVDjL7ZIxDoJAEEX/ATyAJK6dByBzh5GCCwihI1ZkLajJQMcZ7LyHV+EG3AEzQQzBRS1MDInFNjszb+fNLKqqwjcPlgmMCBcAHUBNIuK5csqYwj4HneEsf9thX2DawIo/jYkNfAO0rgdngX2Xz8C6Pq72tD0rcNzZS6BI4jHziYCG4jIcxyxTykyFqk5js0DVpSRJp0BVJbZpxiafm68TGBPJQewu2OA6aKkqExe2tGu9B0WXj7asukSxPOZ4L1RVneewEJfugj/2H/hb4A2ab/MmZVp5UQAAAABJRU5ErkJggg==)
все максимальные подгруппы, отличные от
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB7SURBVDjLY2hsbGQgBzMMHo0N0cY+DAwM/2HYOLrBByQGorFq7OhI4/GQYdjDwGB8N7a+XhImHmXMsJCBQfaNR169IYZGuCYZjz1pHR08yHL19bGSRgxGu2GGoWjMc5GUBZpqHZqGqgmEV60KZXZxiZUchKE6qnFIaQQAXvpgOGHca4oAAAAASUVORK5CYII=)
, примарные и циклические, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABoSURBVDjLY2hsbGQgBzMMDo1RxgwLGRgY/qNg46iFRNkI0Wx8N7a+XrIh2tgHpNk4usGHOI1QW+rrYyWNGRjuyrrlFOPVOHGiBxtQoblxbIMwiN+RFsojy8BgLemSJzvIQnVU45DTCAAufl6ABJrsxwAAAABJRU5ErkJggg==)
- максимальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAARCAYAAADdRIy+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEWSURBVDjL7ZJBSgMxGIXfWLfurTiuvMD00RtIDGhxVaQdsqq4KENELcyiyj+z8wxubLeeQU9ie4PeQFETpTDUqc5CuhAXISH58yXfS5DnOX6zYSXANlADsA60a8s2vgHBZ41v92vfArsN3LnqF4BTI1L/cgsHGx5HR657dePnUCXnPypLhy0gnGkr0eLasL/HEJgh4NPigUuBMTEKSoA36enGPnduPTDU9qJShmlqtpRSZwSmjLPDoqpVPFGK116XJjuoBPS6TWN6DjhhR1oF1UZTJ71EhQOnOynNt1yXYuRyV2/jwQU+mKtq6iub2U03/wjGo0rfRsTUyVg+XpsYg92xH3tVn6dYHfn8ilGs/mP/A/8Y8B3iRuerxqjDmgAAAABJRU5ErkJggg==)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADoAAAAUCAYAAADcHS5uAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIsSURBVFjD7ZYxT9tAFMefYYXOpc0jH6BL8UsWpFYdrPCkwsAQqcRyF4qHCN1AUG8A1c5mqVL3skA7FMQH6BL6TcgXaPMRaMOdjcEOtmU1bVWEh5Pv5Mv93y/v/78E+v0+3IdxLyBToABj46+L/QONQlDPcxaIbK9o4ynAjKp0FqA9m7dnDGBEe8KRgiqj8V+AdggOVfE/AWjoeN7C7W6Bsd3CXfX4peYX5Pgv7yRouG+D1gBwxMJbmny317UIAUaAPHCDYO7WZ+8KaBC4c4wwMDJApXQeNRC/IhijyU5mgd7EIGuczpSL0NiI5mMdl1RkogilI1YaVHXMJOZ9AhiS7a8mLWsTvbNt2lK2Ps+y9aTGVQwuMgd1DvNqcN32A0ZjoPdha7v3yoTPyGLH7/FT5abvym0/rO6eGUUoXUtpUNGiN5YQz7gGZ1okhtR21l3sKFEg+yjX9lNaV8r2YxOMc+Tujl4rmJ4Gi92lXUWLKwc2o4eNxhdEPk5GqFQRoW2J94UvHl6B7sZdRuq81yKqiGGebae1rpTu/ErNOEt2O7wvEveBXivAkyaLzd/OqCd4iTe853puExwpwU+hjRS8FoouqXzbTmtd36bV5PmBAm/V4Ju27fWvgokfFhv8MesivAbV31iz6bzIK7JnWU9cKedDC1u4DHV+zc36miUjYQW/rmy7Xmy9Yo3C2GjNxPnhGupvY319NkF9K15XfwEr0Aq0Aq1AK9AK9M+OSxqmeqSZ6h3wAAAAAElFTkSuQmCC)
. Это означает, что в группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMfkPq8zwMZRkY3jAwMPwHYxmPPXkNeRJuxm61aR0dPHgN6ehI4/GQYdjDwCD7xiOv3hDDUOOohXhdAjcAaCu6bSCc4yZbbBzd4IPXEJAidBegeDHSww6bHKYrsDiX6IAtL0/jNWZgyJd1ybNCsT3WXA0YsA0IbJyfVl7OO8TSyaghg8AQANwQp9sUw5TrAAAAAElFTkSuQmCC)
существует единственная
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAArSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlELB4GTRjWMakBgALXXMwTb7vqDAAAAAElFTkSuQmCC)
-максимальная подгруппа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935xBkSa64GDI8GBgb5Mpdy/AYMgXQyasggMQQAmc+pXdj44IwAAAAASUVORK5CYII=)
и она единична. Таким образом,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935xBkSa64GDI8GBgb5Mpdy/AYMgXQyasggMQQAmc+pXdj44IwAAAAASUVORK5CYII=)
перестановочна с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABzSURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0Y0daKI8sg6xZaBrEtkEYqqMah6xGAJo6X5LEnvCXAAAAAElFTkSuQmCC)
.
2. Пусть теперь
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAAXCAYAAABdy4LVAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAMzSURBVFjD7Zg9b9NgEMfvaVGnQhkp5FJmFlpfusFWnKdqi9TBoomVBYFVRZGlNq080OJ0iwQMGZFQ3ybqD4DUt42BTwASanek9hsALc85seqkeXEgRR08nOz4HN/5d/e/50lgbW0NYqu3GEIMJYYSQ7kSKABe35UH+w8xopoB0K8SugGe11c7F3VQXDc3TGS6bR9i1B4CRn+rezwP+qr3sJ2LsC9KjP9ljmXcSiPsqTx/jkxOviXAL7JYGu0aSjYF6wLgFwAd51x3+HIXgMjruKwOZxyMcu7UdYWSJXzHEBiORNyRtjsW7uKuEl7NjD0FwFN+SKPvVX6CEOAUcHLPKpcHG/3XBQrnoWlzJe7mvD5SREx/nHVmUyq31a6hOI51U6LYF02guI5xL4X4CUGcUq401SqZIMaFFJuY0Vqel2Sq5kG9ZEG0nBscUx3LZWtQIuxyN6MsLBQkLgBo38PdHxmK6gSNpFwhgCPKuDPB9XOViEn02jTpJQg6aiatxhgsRU6qqaWy652g8IsoKZ+hPr/M1ebvCYEnE3mXQnNjKK2K6M8NPV+c02Abpb0YefWJAsXW6YW07UcyAQeoF4rBHHEz4zPcHVkVFMjcbNe2vZJPtWvRSybhK1e7OidgCyi75fttI6EJcRT4bImLSvYn4WH6z1D8JEiu2CX7Tg3KUtA9SNk3jpO7q4E4biWdXsuH4yZF8lv4JatQzM2yylVPiEMFaKNuFqLcbzbr/hoKJyFzpcd8bhJsckX8ya1AcSA3QzPtpNNz+ei4FJaCv8QmxAEXpTEX9ukJOIwqnchQCrr+LAjit2JCP5Sp5HuuFEuok3R6KZ+adHaCLuFBO89bAZS7XCAGFsiIff5nEV06HaHwELXtaSR88sGwnCG+VjJpWl3+zfsQloFjTaR4Keah1671ewXFlyymPcOybteW1aXw6qFktAHa3Haw5CYRP3cqWFdQ3BxNXbR2NXCpKEfHZeF5Uxm0af1eQfEr728iazFrHRL4Ob8kwI/qkptfzFLfVrtZ1xJKpSIHiDL3r3LT1IsYnmf0K+k8MKxoA9OPCfRQVioD8a/k+K+DGEoMJYZyjewP+mncUd2RQ6EAAAAASUVORK5CYII=)
.
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEIAAAAUCAYAAAA5g+sCAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJCSURBVFjD7VcxT9tAGH2GqRJl6QT10ak75OZulXuIdDRqY1mVOnhAyEOCdEJVZWfz0q07tCNbVwg/pBX5AZS/QKF3F1+5XBLHhgpluOEll4t938v73vesoN/vw6EPJ4ItBHDrLSzJR+CmXrIsXqM0yuYTgiewfIeTJb3fpGg4doaN0Zkadbk9mhAnwNKnvdeUAL8F4WsFsn2a8GQ9oMHnpChW6hTkPF5vwbsoz/gj212+XwuVb0Cj44UVgifh6hvfGwAbl6yXb+r9vMc2hTBXNvkq5BFtg3aO5FoI2yIgP1mabcnPEcUxjfOdhRSi4MnTwMe56v6UrqeMdGmUt2eMkDd5PQvjLFuT6/2AHICwM31uxNhHu4bJTbqy7kjNcvXo2ltvtL7LnrlCKLIgV6YTxjocs1f2d9IpG8Cl3d0xgYtkhfkYEJZ2q8ib3DoUR//G0kbpsllIhKsZ8c7ktSTY771r4btZu1IITda2/mRohstNrZilbMscizpC3Bech89lLhG21y2b21PNNWpXFlP7wFAqOO4CulOGmwg67wZo/dJ2ry3Ee/oWPhvMC9mHjgYXo63yzXCMqm2MZBMhDqanP4ZNgtJER1izzr0PHQ0VzqAXulE68+yRnDsa2wSn8IPzMOGrEx217FXfquoROqzKkP81GirjaOebXEv7zso8XeyZKPZh+iy3X4pH5A/RvUNzXzzqDoW9vvCieNKUXBq82K17bxW3OlA8S+6yLiHkq/1b3H8NJ4QTwgnhhHBCOCHuhb8rdFv/7aLkXgAAAABJRU5ErkJggg==)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIIAAAAUCAYAAABBPOWjAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJcSURBVGje7Vg7bsJAEJ0qVTgAEiu69HiFIqW2rC3SpEmBBQ0JVeTGUlwaOpoUHCFlzhBOwA1ScAPukMS2FpZl1l4bNgRpiifh387zmzezg2E2mwGBQCIQyAiECzTCNOT3wAfv/53ngLM3EaW9izVCmg7bHGANAN8oHCRhwOH9MBbb6ELmJuiI5WQ+vz4XV4n5fHItOrBU47HgJdav83B678ZodpptdVPuyzhl5zBuaMWlkegxYF9y8Sy40xdTkqwf51yY+JDH5+T6ErBYCqqLrZ7LjOoBW7nqDFWa7czK18M0be+bCDfN9kcUBI/yofyFlYVDIcZqIk5dXWpFFcLuyGKJPQfXwgS4iHoiXG5lVZptTaDx2RnU+1TNYZwRsED1W5Vdi9areSd44eQy4k24onwtklXwhI0pDmaE4hlvpXM/Ri8bzcoMm+slwrHVsIgFcgW9mmWblYLrs8ExXOVcoSdT70Bm8+y32YOZQePpalYo02zLpUEnwqfzEvFdDl16QvSXbso1j8XYhynZ2BxyMEQbxDV1iybd6ljNTGZvZITc/TUc1bTV2VRzlRFsuWaxeBA9VVUaVr1W2wLSLUxGOPVWWoertRGko1xN3XWSXFXxdbiakqzHwgQsqzLsX4TLraFKs6ruVTZI7x1EPruDrhgtFosrlybI1hddGDE/uiu7L0kmLQ7dZz853JvrcI197mFr7ImY+G3uxx52LY8F3Vd1jZDDw68JprfD9MbEvQ/90SRJWn+pWTq8vcl4qffJZ01cL+rLIoE+MRPICAQyAoGMQCAjEMgIhHPiB2ma6hVfXULsAAAAAElFTkSuQmCC)
- нормальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADHSURBVDjLY2hsbGSgFDPQ1BAgYARiFgQOZQaJr2JYxUSUIaEMDMzlaS4mcgwML4EG/AZjWfddseWx0i7GbnVpHR08eA0pTwvld5dh3MPAIPfCo7jBACbeUOxhIMvI8IrBOHoBXpcADeBzk2HYyyDruQvdNhDO85AtMo5u8MFrSI6bbAkDo+xrZBcg44ZYD1tscnBGR0cajwfIFWjO/Y8jgLEaMnGiB5sxA4O5pEueLKrtxsJAzQ4IbGzuMXEiG/3Syaghw8UQAOyGlzSpjrsfAAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACTSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935xBkSa64GDI8GBgb5Mpdy/AYMgXQyasggMQQAmc+pXdj44IwAAAAASUVORK5CYII=)
перестановочна с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABzSURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhuL0Y0daKI8sg6xZaBrEtkEYqqMah6xGAJo6X5LEnvCXAAAAAElFTkSuQmCC)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAAUCAYAAADbX/B7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFrSURBVFjD7ZexbsIwEIbvAXiAInEPgbx3tDwwVyoRUyUm5IW5crLlNRh5B16EgTfgHaA4uii52talSmkqeTgpUrB99939vwNUVQU5+pEhZCgDoDi3mStVuCkm+Be5DTrYWbNEgCsA3HwszMmW9kUr/bmt65m4SIBLuwcPtT78Cyh1vZ2ZBZwA8GqsW36DxApJRVmoFf2+WY9n2nOt4KCKcjV5KC2Qr6kITcNO454Xkgqr9dvGuTmt7e5bGPPBz5gkFJ84m5Be0u/mlb+jCUrBItiod3uppzwmSSq7eC1we5xJz6HaklDaKRkgD7GBMuk8w2h9PYhHRDhTMzxoVl/yYDJF3k3vC71OqQtJYpC3RCT5W1BCjRgNSu8W+eEUhZJ5hny6tZASuMxl8gl0tJmWuNdIrmWJQY81KSSdbr7c6MVGG7t2fdcE4x81POHasaD4OtAc6czGaMOyz5/1+b9PhpKhZCgZSoYyibgDvML1j/eWJF0AAAAASUVORK5CYII=)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAARCAYAAACSGY9uAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADcSURBVEjH7dQxCoMwFAbgB0InN6E0YM4g8sauQTK4uihZHXODYtyyegTXnMGLdOgNvENrbSPW0k5OmuENSsj/f28I1HUNW5pNYfYFqiSPKUAPAPdxQt5JJU8JJpdSa3+tAjlCO2VMQ3suq3jsUQmCALfvM+/BvP0L0rr0eQjd/NIP4OKC1VDDwuyi5t+qwNRmvjrQq+31PIeFSn+CjMk8RiACwqLMGG8ZLBmhKFSwJsZmEiap/acEBsNCz1mpfcnYkTfNwebPuwnGyLKnexQcyIEcyIEcyIEcaEegB+qpIlexZX6rAAAAAElFTkSuQmCC)
. Поскольку для некоторого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD/SURBVEjHY2hsbGQYbHjQOWjUUTBcn+dhKMvA8IaBgeE/GMt47MlryJNwM3arTevo4KGrozo60ng8ZBj2MDDIvvHIqzfEcKRx1EK6hhTcQcBQgYUGMs5xky02jm7wweqohmhjH1iQgjTX18dKGjMw3MVnGDwakKIDXS1EHWoIoURppIcdshx2X8nKrvTIi/YyYjDaHVtfL4nNIJBFsm45xUSHElL0kJXQIT4zvovLQeAQNI6uJyphQ0Mb3QPwWIFjhH3YfZcWyiMr66EVumoVM055BgZroGEOGFjSRR9Z38SJHmxAR5lLuuTJopsDk2MwjtQYLadGHTXqqFFH4cAAOLGYd5eMr/0AAAAASUVORK5CYII=)
,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAXCAYAAACiaac3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFaSURBVFjD7VahbsMwED00VFYUqcdHswOjA5VlUDwpiYI2FVUm/QAnLGSgn1C4f+gX9A8K+gf9hy1J5yh17caeChrJ4Ih9zrv37p4dKMsSxh6jJxBIBBKPRCIl2AKl2yKjBQAdcymjUXYi4yiR0q+H7ERVLSd8BjsA+FGBbLXW8wSjTy5k7Avcdq/uomlPyjwigGMf+yK0c0aAFcN1k0xZsbgA1dYaMI743V8bCil4jAAnGwGd4DkfD0qoZoR1PAsBPJnUbT0w47tlVU3OH3/ZJzKJG9VMXTKq+3f+Vq5g7F35q62ndybj/EM/b1TJVlCfhLPy3Wj4G1+N9JBA10VawDqPeJJQY/gfEvooDZLoFLOZbaBLzl7wEKEVwCHfb5Tu8Ba4GFt/h5yv2M2GP9WdeI3mAq+MNo9qXHijvJje624vcpoCJc+2fVWPC2b47QgkAolAIpAIJG7FL02egXTnsccRAAAAAElFTkSuQmCC)
, то без ограничения общности можно предположить, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAUCAYAAAD/Rn+7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEnSURBVEjH7ZW9CsIwEMcPXAvOQvMQkncIGbrqYHESOkkXB8fYLa/Rtc/gizj4Br6DUiQxPS8mEYQKHf5D28vdL/dVaJoGxqxRw02APwXUuspkDmcAuBsxsT/EOj6VvAC+afF7pbYLDnB1/Q6EzpDO94IdemNenopBQPSOkqrlkgHcKDgM/rRlF1mrZf+84dBi/x44djOHXPUOIJfnSuvMmxnPd6NaiPVWqYWN5diXUu7wWfL2vlJSgK+S8asJHCPTQqG2eQfwBLI9iQBN6VMBcXmDgDYTnt4JZdf2XqDEg4tF2KaVNyJLoSEZ+AvYkBmkAKmp/nbNuLFi/AUn+Jm5NLiQ8PQmLWoD5FucvuzGLN33JU2vs4+AXbeaVdVxPv2LJ8AJ8E8AH6P/kIEjUajNAAAAAElFTkSuQmCC)
. Значит,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAAAUCAYAAADmzZEdAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAODSURBVFjD7VjNTttAEJ4NPYLEFZrlGbCXHHuLzPLbk9U6kQ9FyEJRFAlSZFWocrhF6jtA4ETzBhS4t7xBC733hzeghe7Y2HHstZOAkVDlwyhOvNmd75uZb8aG3d1dyO1xLSfhfyf5FoCAro89RWK6AAUQ/mVOsg4wJjZ+JrWMyUCC3xmlVWCV/T4f9EQfSFZnD4OzwugHXtthALdktL26hUSSbducVgm5FAuvhf0RdnP3eU2IuGbVTmblIwhzjNIKUH5stdvj4XuVOdhzzwNyc+eLOJ/+LgvAWZw9LM522xrnFI4V4/2qLMCY6ZalT85T8inwU+xDyxvb0cAEF60qW/azaqdWVinQr7zZmsXvVQYdZraWsiLZqZUZpQtHUYIDohkciACc+PfxfCjyM8u2Jx569ig4HcecYkA/l2tOX4C7XShslOk2BoeZTm+9yZZEoP5iYKQk1znXTceZcq81+jYM0lhcfCMjJKW0U+WlwgoHSUGzbWuCF+GU8sZW4LzBVgDoFW84irRko36knD0qTjcoauUwXIU1TRBM6C8/OLEEKfLT8D5DgUwkS5S2Xyoxm6vsJZWrAuqJDzRq0exC7d5wQbEL2X9QEw1W6ITPLjCjM0jHh8XZavJZCsq5advTQRUCuaK8tpVYhYNIdhpcCYPM2tysjDjRl2mYXUXtTLesSSTKfqW8xLKkvL4Z28vWn4vO9C16D8sWYOZnmo4Pi9PVZhEMZjgrLokqHIqAX8oCfhe4s3B1yEkeQMJD5UKQ2Eza388uvxF5NvNDRgSuXaD0KIkkNwPp/JFltyfuE+woyVSrNz2Nhu9JQ0BSlsfTHSM15CRxH7locLqVBC4qFWmGa5nWWE9bg2f5GXhfnAHJQla87IcrJFw2bbxWxJ4Ql7X+6ON4A+Qyy0kilmHYgZFkyaQQbURphhXBqq3lQZOEjJBRcHokk1Nc62YygQuq1bbDeo99wZs2SN+0ESPZXYgNpqeH5FE02XWUfglPCtjccObUhJ5RTcyZ3fhAH8tSja0nTRth3Y1m+6g43UZNeo26zummO7db9pwvjaLxHmD1yggOSEbgqmggg3QwKxMdeD88S3qNqic1siYXH8VKa4N8RF0u8fpaOMCj4nS1O/JUiv739Q21//6TeHfhaZt6njTGPRXznvrox2jF4O+m2XiRv4XL38LlJOeWk5yTnJvE/gGpdck7EC66KAAAAABJRU5ErkJggg==)
. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEsAAAAXCAYAAABDArJmAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAMOSURBVFjD7Vi/b9NAFH6XMpaC1IWCL10ZG19WJIbIuSoFicFSk8hiQLJQFFkiLvKAipMtQ/+BLm3TMX8BSunGxl9AFZgJ5T8AtdzZueLY8a+4VCA8fEp0ju69+977vncx9Ho9yJEMOQk5WRkIAUAMtxwMh4WcrAjYBi0VASaMrB9Yae/kZEWgaxj39H5/2ba1tXKR7vPvAbIAZlvu75bKn81VVWHJ0itlWt99HOgsziIhTTuVnh2oS3x9uGDyPKnZ/Zz9kX//GZkkzDULGmU44DIskMZgIbJUcNkWenaAqyPN0h5UiPLW265pkkIILhg/DMUJNbsb3DMwoHM3hnym2fbaTZPF0e/ry7RY3vfGT5SApat3qhJ6Lw50pW+TbmAE34A0jxauIoEB4M0RJ5t3mmFoEgHyzk/STZHl7fYmpS8CnhWVACNqRZHgVBzI/9yguEOa3a35cr1EUYlZln6bsiIQrVvjnVsnhaN53RRG1hwZ/4YalPA8tYgrgrMX+xQS5CCaXUslw7aCdwDhc29HzUwPjT7yP+Mdx+T61R/Mjzetioyh9PGZqT+sYhjF/d6fq/dgAZQbB5GF4mrB6IT/dl1pmdsyHGNqdGIvpWFkObrlXeWT2WWI0aeFUwjg2+Hv1LBLie5B1yBDy1AlGaExpu1XQh0sh9CGSESWsw7wmV3OzJl1jdR4RRhjF4C4OUdLJ1yCwHwQfiIkj1XDktKStYgM+yyuIiHWAI1DsbZbLz0FTE/ihlQSssb+m6x7WO2+zIj0Bk0DV4L4E6+mOxWTEZZVhnadPAFExqK4wpPjJJhIhpvMS0BSTlXdWgkETdC6kRL0VJNNxUME8YRllaETd3p/Gg6hEOfJqQx+ataTgrx97G1zbohhEzJqGnK/03X1rlNN5eVr8Wf1aupC6cuWYeAwGWUlixcFpmdpKetmEeMPSa8+iRLgz5nkzvytHja9oqah8DsBYbIBSYXJKCNZIjc3dqvTIIUBv7qkIWuVJfD8n3grcI25OnsB2WP+tZq/z8pf/uVk5WTlZP3H+AXjnpWooquRzAAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAN4AAAAUCAYAAADiFINlAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAI8SURBVHja7Zg9bsIwFMd9AA5QJDz2AOC9Y+SBuRIgplZMKAtzFdhYeghGzlBOwA06cAPuQElCQmxsx47iJFT/4Tfwkbz3/n5fCdlsNgQA0CwQAQAUHgAoPAA6xXrGxoRNd8/g65TRbx5GQ6fCmzKyI4RcUug5vkEU8iEl5Jx+x07zKOrX62jzNjNEO1cG/BCuw5eABV+L7bb3H+IU7Yr2Ew2ieZ8Rcnr8zw1PCV/ml1B013ORz6NpPW112m4XPT4gBzZbj50mXhJQIdDY4IiMfnwlfxs2M3Hkg84PzmeyNaytym7xc3GapPHT30yT+H+6BPLtV+4P5XtdE2xSTxedUj/oUTX5jAmZ3STtKv4mThs286JTdNGYZUBXPpKtDW2LdmmwXAlJdGs6YRC8Zz7EsRd1mXH+Uffkt/WrrPCb1tNVJ916bFi9RsdJFL6axqXd2mC3qlS1qbVdYi8RTbHS5P5M+Jvut2eKU7R77853DcQkVRWC/3PX+1U2vdrS01anzD/Zf0NSqndtX1S1me3csgBy11ROuxYe1JuM88FuoTun15GLfD9VIXjXw+CX7tmubT1tddI96xmee/y+0KjDZnIdpXvt1NI8G5hFL3bseuNvOk61Xf0LDJtE93fuar/kwuyCni466SajsZJd9+WqK0dVm/F1LAg/yzqq3G10hSe8tTL4+yxxVpliiV+Om0AdethOxC7o6aKTdeEBAPwDEQBA4QGAwgMAoPAAQOEBAFB4AKDwAAAoPAC6xx+RpqUg+GhFEwAAAABJRU5ErkJggg==)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAOQAAAAUCAYAAACdxZGUAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKgSURBVHja7VixTuNAEB0JiYqOyhJbIl2Hki34gcjaghakEKU6RIXc8AFOujQU+QRK8gvwBfzBFfwB/8BhfD7Wm/XurB2v4e4Vr4iz63nzdmZ2xrRcLgkAgK8BiAAASEgAAP67hFzM5BnJy/vvwPVSijuV5SMEJRLSEhx0T0RvJcRrESh5pkaC6LV8Jl+m+XQkiV4+1xnoKRHq3Ooct5LxSD1dr1YHob7N8zzZFd88nyccnVar6wN1RE9ytjgL3RtT39icOPa4MRGXR7vYch+MFtAFoTGNH6sX6rdPaVT8qgQo9uqB1UvQaNy2uBZ8hHowk5HrW1+3tE+nkod4rv4fSmOXvrE5ce35YmIoHqGxZX1oVusy8+vZnaXpRfX7JhW3OomZUj93JUQTN5He3NbE0iqiKzA4vu0SoTrpBz+Exj59Y3Pi2OPEREweXWLLfj1/VIDx8zTPjs02inOA4S0Rv90xq9Nfgf447qtIIb6x+DNbNK5OFT+df0yNffq25dSVl8sel3McHu1jqzEhS2d4fbhNjD5hVqeyEtJbJVDT7NjGN9sMYR4EtxJzdbLOkhE19uk71Lm77HE5R+HRcX5tDAjuEOpLgD7aKdfwbh5OF99q+4R4aBLZN7OG6NTYfkXQmKPvEOfushfCOR6P9iOQswJweuCPNQFf1nbdTvmqZRff9H0yza58N4urReHqZEvIWBqH3HqhnLqefZO9Njd13zy6fJfYHl4niaBkcnK+2ewVv6eSfry//FSt1/vm2vVa7b+3cadyvjiMUSVNbtYKNpeHTWtCfDP3+Xws7CaTTNj+C9FpsznfmyR0Uq2NqTFH3yHO3WWPyzk2D25ssWZIAACGAUQAACQkAABISABAQgIAgIQEACQkAABISAD4R/Abv+IobtUN1CoAAAAASUVORK5CYII=)
Допустим, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFYAAAAXCAYAAACRUrg+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIuSURBVFjD7ZixbsIwEIZvrdStS5HikQcAT106Rh6YK0GEOlRiQlkYqg6VYcvSh2DkGcrapW/AwBvwDjSOZbDdODbGgGg9nIRE7Pz3+e7PJTCbzSBG+IgQItgI9k8EpcMWBlgDwBal40kEGyjyNH0aUtpigLvQ/WS/I9jAMcDog+S0czDYquxxRq+iPS+gMyPkZVQUtycDS3PSQQAb5jtVJGSZT/P7FKfvh96YVwLMd3sB2rCqUO+B13ILXgLsNMM9nE17Xh5rE1wUo1uSwFIk/ws0Hsz926yEWx6QOJgmTzs3WAbVNzer4B1UKXk5xima+JyovLdYzytYrdJLgWV57bsJtofmaBXMb6BWqpJsnzzq/4lKtonh13W/+zRvy4BdPFa1ES0cqkyAY6PUHqI5z/oO5uuZFn0kawS72+CIVnerCreEQlZslRtCC4RgJaBUh2XJVcy3Yo2p8BoF65so3qNUibl9XU7ddX1IsLxb0EoGYgNbV2gVixqb9AKrvJl4VrOcmM1bT2UFcl663xsfZpJOsaaOj5sV1JwIv4lbCxttQNrXBW6oihU2IGvX9Rg1S4fW9PyxCjaNVPqY5GMDdRVzjqmgygmRhdDOAdk7RrYKtiZJki9TdzgJlj9IuIwgTVOB7s/Kg8PSzqHA6qOUa4HILy9iGjAx+HevtHU24Kul6eOMuOiuFPx8BWCP1knzXru0AfpaFDdHvZX18QPg7C1+3TpzRAgRbAQbo4wfY5Za/oFDOnQAAAAASUVORK5CYII=)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935RBnSEGssDAwPBwYGWevQNEznD7F0MmrIIDEEADzMqMYCK9vTAAAAAElFTkSuQmCC)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB/SURBVDjLY2hsbGQgBzMMDo319bGSxgwMdxkYGP7LuuUURxkzLDSObvDBq7E+z8NQloHhDUgDiJ/jJlvMwGB8N7a+XhKnxo6ONB4PGYY9DMZRC2FiDdHGPsh8rBobYo2Fgaabe0ycyAbir1oVyuwiyaBvHNsgPEhDdVTjkNMIAHDAYInG9JG7AAAAAElFTkSuQmCC)
-группа. Поскольку для некоторого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD/SURBVEjHY2hsbGQYbHjQOWjUUTBcn+dhKMvA8IaBgeE/GMt47MlryJNwM3arTevo4KGrozo60ng8ZBj2MDDIvvHIqzfEcKRx1EK6hhTcQcBQgYUGMs5xky02jm7wweqohmhjH1iQgjTX18dKGjMw3MVnGDwakKIDXS1EHWoIoURppIcdshx2X8nKrvTIi/YyYjDaHVtfL4nNIJBFsm45xUSHElL0kJXQIT4zvovLQeAQNI6uJyphQ0Mb3QPwWIFjhH3YfZcWyiMr66EVumoVM055BgZroGEOGFjSRR9Z38SJHmxAR5lLuuTJopsDk2MwjtQYLadGHTXqqFFH4cAAOLGYd5eMr/0AAAAASUVORK5CYII=)
,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAXCAYAAACiaac3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFySURBVFjD7ZaxboMwEIZPqpQpWyak3BgpWwU3ZKrUASEPWTsAYqsyRV7yAIaNpQOPkDF5heYJ+gYd8gZ5hxSDoEAKmGRC9eDBJ9t33//fISCKIhj7Gj2AhtAQ/xXCI9gDefvQpzUAnQMhjFE64TMUSN6HkhMZNcA1X3hhXJiCMxMBLnmsrkTXypRLFew7F8ebKZvD6TcvXNHZ7qpnuEPvshbldspA5uy0ieOp3AsRGBZYn6rFl9AKAFsHd7Jo8sN1Db4Sk/kZ4qF6phOiUKW4kDujpr5MRgDnqgD9ALnbbUJybr8gWF+ucE35dtOhDhXlJb6owigVP6DVCreaRbV1w6CvU2Fvm0KtvT9wXrocLmfkHoj6gKkXdDMLPclL51pmps+lToj8Mn5LB4bMwtDBVmolxdw3AW4bCIb9/HY8Psm9S7BMH1uxJJnc820PA5oBuctmPEnYJHViZdgc/6wB4JWCcKZ/OzSEhtAQGkJDPLp+ACjhfSqRhksJAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAE4AAAAXCAYAAAClK3kiAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHCSURBVFjD7ZgxcoMwEEX3AL6AZ1CZA4DqtIwKX8AwdBlXHhofQKajySFc5gxxmyY3SOEb+A5JhLJYFhISATJMRsU2GrPrfftXuwBVVUGw4RYgBHABXAAXwA2wjMIJaHY65nQDQC8F5+t/C47zYk1pzqdymjPCCc2e/zqZqfOYDFxd71YsgjMAfKKRdH/Qf1em9ImVPB6t3DYOuQp/vGQxAbjKs66aFwlun5KD+MM0P27wTLbj/ZnwxQh5Uc9GwYvYeVfXK/SdQPJqa//FgZPQZNX7kpOKSN63fBtTgItJjb6G6sYCSAX235mLAoftYYOgq8J5D/34cynyVoTyQQXoe8fdt7pm38PL90oSeQtfev5OcH2VbgMMAOdreDXYlD6X4hofSrfYuq03IDqxVcilxrFtahsCc4Fr4yr5Nve4QRj94HzadIZdTcYlH6LKQ2KMbVV990SQpvy9FGd60DRlJ21Tpcq+8MYqromrQO0bis6ApoexmnNAM1X51rrzTlV868G8oyh6s6nTK2BH9o6p9Nupinuhvlz7xh8LTl2wcZraxOEVUFS8KMrHpb8/TrnHuZbt8KUjfFYK4AK4AC5Yx74A/OlTlrTckuoAAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJYAAAAaCAYAAABVc6VBAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAM/SURBVGje7Zo9VuMwEMd1ADoq3kN7h0TbbsczLrgAyUu3j4rnhmIrnkiXhgtsR0nBCZYTcAOK3IA77GI7coQ8Go3kD7xkiinws63RzzP/GU0Q6/VasLH1bQyBjQOLjQOLjQOLIbBxYE3eFko8CLV4uFuqCyHUdqX1CQfWzq4zeSOE+GtMZtc3reun+fPVZnPUlyNar07mYv4H+hDVx2r8kW95oWflh1PLu4uu768DYL/Xvantpb6cuc9gfhpb5lJLtbgfJYgH4IIxKe+jMPAuaF5uO6mLfCbF/CUlC6ugfM9k/1rt7G42aD232Vwd5afi2YCkrB1Sj3pf4s3stVnjPXmK4uyHFPLVXqu+/+M124pM/aT6lmJjcMGYlIISYoAHgqVKVXYkqFSjcp6gCikJlH3lM+rb+W+KL5TsggDXfu8yFEgoX5KV6+VSPsaoRkpQDc0lxCQkNOCiJjrLElg5K8Q2FpSRaVNGsfvce0y2YMGo1FJT/aD44K7lJhKkuO41A7osoSWz0LrR7cKIXChMsEqEbEC+Zpm6jWlA93IMZxScNfLFldM6M+iSHvv+1sdwEseobKgNSG0NPvZGgHkCZywuVCYYA7yGR27CbvoogQXJrVvLu5cNPDHgRrX9DAQ7Vc1TbEwuVCYYA39Gfc+favVJOzJTSqFbs21HfVkb39/h/lN7R+OXvR/o2lA2JpeYftrHAJXBPrLESCgE/7MDKyYw+gyslFI4FpfYPZEDy5XJZkMdJRhq8nySXIOHN14Ge6ayW9uXxkenfNPGDP4j85RKYSwXHxPamIHGhFwKG4VyAqA5jQwyFG03kc16gJq597sgKmhm1hJoUqGTD34i66d573wqDHDBmISa9xgmpOa91bDtHIEaOZ9MuhN7isT7jr32CdPXQJp7Wqc3mT/a8zfvOCPiVwTKuGEMC3GhMIG4pDCJHjeMaZSRAJotDrAqEezZUof3Y8NEyuD1U3gSmAzJZTKBlVLXfcCgbO3y/qn0VkMwGYLL5AIrVQGgshf709FXUaoUJn1ymWxgdTsp4b3fodkUmPz3EHWxOl4V+tj8vVTy/OzXYf4P1JSYHHx2s3FgsXFgsXFgMQS2AewfivFTq/7mxsMAAAAASUVORK5CYII=)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAARCAYAAACSGY9uAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADBSURBVEjHY2hsbGQYTnhYeWbkeCjHTbaYgYHhPwzLuuUUY4jLeOxJ6+jgiTJmWIisFgMbRy2k1JGk2IHTkIZoYx+QYuPoBh+YWH2eh6Esg9Gp2Pp6SRC/oyONx13OeBaMD/Yw1KMwPrJ+cjCpduA0KM9FUpZB0kU/dNUqZhA/0phBA5kPtiwtlCc0rUEAxF61KpTZRZJBX9IlTxYuHxrK4zFxIhtFHiLRjtFCYdRDox4a9dCoh0Y9NOqhUQ+NIA8BADGTILWd34quAAAAAElFTkSuQmCC)
. Пусть теперь
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFYAAAAXCAYAAACRUrg+AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAI8SURBVFjD7ZixbsIwEIY9daJ7kWIxtTtYqFvVoYo8sHRoJYgyVWJCWRiYKsOWpQOPwMgzlLVL34CBN+AdKE5qcg5O4qSmCsLDSZGS2Hff3f05B81mM2TNvFkIFqwFezHGmN8kCG0QQjvsjsYWrCELXPfVZ6zJAXdQ55NfW7CGbUDwBw1YWwIblTTx2Nm0Xw199Sh9G4ZhoxJYFtA2RmjLNSUyh66CaXDjEvcdLqqfZbQ4rIXwlmdc3oNsYHvVFezUIz3iTXtHGlvkbBgOG9RBKxH8EWgyWFRvoT3cfYJEYlR6VWewHKoq/kJnD1BB8NBGLh6ns6VrYm3xflzBx1VaV7A89qTj0A5yKHQ2flmuVCnQPn1Q3RPVnAc9fqbz3WfBLQSsq7GylKRMo4sEGD4qJZDkWJNujZ/je6ZHq8w5NgvsYdE/tLpexrMTd8qKjeLDeIkxWgtYUbJ+4xVzqrhXVGTaYNMLS7oiVUh+++brdrn3TYKNOwavISgBVlVUUdwZkmgErHTqqFjNMCgdbT2VFMDYoObHxZP4JO7pyIC+FCiyFG+s38JKGQDr6sI1VbFCBqD/0KfoGiSnjAxofbyyRqr0mFRFBlTV8l9TQRQXpkvhfwwu2RtqLb/nOM5Xme7Uchb+bMgaL3SngrQ+Sx8NjVY2BTY9KqWLBB5UxDRQZqy8yCOtSgaK9sw7tGSCnUyG192u/3gOYE34yiZPzVaLvszn8yut5/37O0S85zJ72D9TJzILwYK1YK3t7Qdm0Vp2OMzo7AAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAXCAYAAADgKtSgAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC2SURBVEjHY2hsbGSgFWYYNXxwGB5lzLCQgYHhPwTLvvHIqzesz/MwlGVgeAMRM74bW18vSbbLwRbIeOxJ6+jgAfHr62MljRiMdhNjKF7DOzrSeDxkGPYYRzf4IHxCnGsJGg4JAqNTkfV5qsiWUCXMc9xki5HDm2oRCgsSUiKOaMMhQSJ7E+RicsMap+HgIEFKJZRYgMKZOHEim4c8Q5ysS54VuhjQgvy08nLe0bJl1PBRw+loOABY8BA2KOQpFwAAAABJRU5ErkJggg==)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAB9SURBVDjLY2hsbGQgBzMMvMb6PA9DWQaGNwwMDP+Noxt8oowZFoLYDAzGd2Pr6yXx2lhfHytpxCB7SlaW4SZIc0dHGo+HDMMeWbecYrwaG6KNfRhkjU5F5tWrgvhEa4w0ZtAwjm0QhvE70kJ5ZBlkzULTOngGUaiOahySGgGgM1+Kj/dkygAAAABJRU5ErkJggg==)
-подгруппа и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAXCAYAAAALHW+jAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFfSURBVEjH7ZSxTgIxHMa/giMYV82V2dG74huY8wwuDh040g0aQ0gTg+YGh8J2j+AkuvIEBnF24Ak0xt3oG2jUHgXCgCiegwPDl7T/NL/0+3//Fu12G38pLIFDcY4sgJUpkZFGe55dCBgWcU4I3g3DqPAUNFtbWgUuBXk2wFfAuxdary9kOWS4BN3ryTjOJTdWSjgM7Oor0FxgFMl84JA+E60SB7JllrmYd6tvgaf1HY/CHRw05eYuRY8JXUoVSsOnx6ZXHwB9CZR2U6Vs7aJvgG+EeA9cRU4qoLVL75JkbdqLQWfbpcF1ku4o7Q7Bz6GThWkYkZKv+Q5uqH94gm43M2yB5KtJDXAf95WiZuonQw3YMzOBWrCSHVorGjSOxkM+XUcxTPZEKe4wVtGRVBtjN79+y7bP3q0QrAoWdlJ/DmXfr8ooytf97VoSXipgHMtcUCieVSqsNh3e8oP9x8BPCLmNJ4stHvEAAAAASUVORK5CYII=)
- силовская
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABjSURBVDjLY2hsbGQgBzMMDo319bGSxgwMdxkYGP7LuuUURxkzLDSObvDBq7E+z8NQloHhDUgDiJ/jJlvMwGB8N7a+XhKnxo6ONB4PGYY9DMZRC2FiDdHGPsj8QRY4oxpHjkYA2tFjQwwODtEAAAAASUVORK5CYII=)
-подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADHSURBVDjLY2hsbGSgFDPQzJBVDAxMDAwMLAi8iglTPJQZryE5brKFjAwMf4CK/zMwMP6RdcspBInnecgWAfn/gOK/GWQ9dqZ1dPDg9U59pLEvSINxbL03iB8aysBcneVhLMtgdDy2vl6SqDABuqYEaNtukG0eQOdHGjMtQLadoCHl5Wm8HjIMe4DeKM7Li5UxYmC4BXMR0QFbneViJMsge8vFxbiegcH4FrrziTKkIdZYGBh4DgwMstahaZjOp186GTVkOBkCAA+4myTdMkL3AAAAAElFTkSuQmCC)
соответственно. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAAXCAYAAABdy4LVAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIQSURBVFjD7VgxT9tAGP0OdyxV11S+DCx0K/EFMbJYx6GwMNzgIE9Qq4qikypaeUCVk42fwATt6l+AAswduiOBUHcE/6Coqa9JSqgu4JzPSJFueHL8yXnP9/S+72xDt9sFi4ewJlhTrClmTeEcHAB4MQY0xPCcO6ZvxJSmCR5lsVmHQ4Tgd8aVoXrNdjtLiWA1DOgmI/4F4F2GSVIxaYopTRM8k8kJfAO83ov2919K94UIXQLk2LQZZWgW5VEW4ziaZy46JWGnwQGcgMx9zeOwIrr34I/HVlezDB5lca/lexhqPzZ3o7drGHokTBp5W2AQUQXqzcPH/qurWQaPstim+FO2kD4AvmUiqT3HxDelaYJnQvzgNCO+Q8i74iJ2C+wgudqniGYZPBPihy/k1B5M8vzkuu1TRLMMHnX8MDuRk3s4yY8Q6LueO/IGNE3x/PuRNSGKIv6aunCG6YfPkKZzfyMZ8VeyBlD7uSEEfmoXmQa6mvJhrD98KCt67wCDa5WmJCFpjMcds/ZHZUs8sYtMAx1NaUArCFbbAW34rT1Pl0caKgR3CdlK4ki8GaVrJt99OltkA6rV82qdHVBCv4wvZvr5430PQ7IDpHk00y+EScBW5SCVi1pm7W1dnoDSnSiO51t0+b3km2lTQt+v8DR1RkcdjjTlDltYWcxSUoGK/+5/HvupwH5PsaZYU6wpJeMPvtzGxWiMhFUAAAAASUVORK5CYII=)
. Ясно, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADcAAAAaCAYAAAAT6cSuAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHmSURBVFjD7Vc9bsIwFH5SpU7ZOkXCUm9QUSN1qCp1QJEHVoYEZauYUBZmZNiyMHAEtoLUG3CC3qADN+AObeLIwTh24iRAJeThLUns976fZ7/AYrGAW42bBWbBWXAW3GUiwLAGHKznIzwAwPuQUrcU3MRDUwD45YG8ybTwvEN24zh2rlK8UAsezQfyNyOCKMLB0li5jInTzWhEugiev0V22gQjK2G9LD8nVldTGpGHP0hEu8bgWGJBHcbgmdTKHVABTKWSXAeloUsQ2qi+VSaP47FDOrBLWUsXY4C9anFTi4lqyMHz6YBne2S9xZ3kU7+brpH3VSdgi9CP5+GZ3KR1gxOlU0KtKjqobCaDa3RacluUJTGN417V4HIiNPavUtUIHGOnR74yxtspV8eWvHjd+7JeNAIn9lgVk20PFBlE1g5wUIFrUouGnaNauRUucK/JV0GZ7ap6sRJczo60OWf0Ghc3V1W0Hrdz3RNb2fjiBFJ4Ltgpt1Gv94kQ2aiAy9NOIRQqyVOJ6QFyttlSnFZSAGV3V5PrIwyjt38bnMWRJ8Bo2fbKKPQdU+30pGaEahxyVnA+xo9ktbqP+i4Ct/803G7v2gKbh/ghAfSS7huPh05i+dcE5HseNfPY/zkLzoKz4Cw4k/gD3n4qaODgARAAAAAASUVORK5CYII=)
для некоторого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAARCAYAAABadWW4AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD/SURBVEjHY2hsbGQYbHjQOWjUUTBcn+dhKMvA8IaBgeE/GMt47MlryJNwM3arTevo4KGrozo60ng8ZBj2MDDIvvHIqzfEcKRx1EK6hhTcQcBQgYUGMs5xky02jm7wweqohmhjH1iQgjTX18dKGjMw3MVnGDwakKIDXS1EHWoIoURppIcdshx2X8nKrvTIi/YyYjDaHVtfL4nNIJBFsm45xUSHElL0kJXQIT4zvovLQeAQNI6uJyphQ0Mb3QPwWIFjhH3YfZcWyiMr66EVumoVM055BgZroGEOGFjSRR9Z38SJHmxAR5lLuuTJopsDk2MwjtQYLadGHTXqqFFH4cAAOLGYd5eMr/0AAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFkAAAAaCAYAAADcx/BtAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAPUSURBVGje7VjLTttAFL0TUFfQsqXNkF/AmbBh1YUVDaLAygIn9arCqlBkKYTKqhBy2EVqN/wArw1V+gVQWPcbCKTrIvoH5dG54ziExEnsJNCienGUZOJ5nbnn3DuGzc1NiPCwiEiISH460ACGAGAYyuVYRPIDwLaNl0mAiiD5N03n1h6cZE3DE9WGbgEIfv4PJOc41wzHGXccY5wBO8LvviQDtIZ5R1nUcUsa/8+kYDvG9F1Hn5oDYKfNEwZBGSB2b46aBMvlxvbgBxh0b4NAltHPvFCcbCFZngDLOp06u5EJwzqL7aIsEKLhSlm0F5qJznLqUPb2U8+RkaZ5HFvMgdNeUZ7LY7vF6ar4fSPnp/zQLJVGuo0VZG+DAi42y/m75nUFWgh2theVBbnhtLth2c9gs4TAtaJvzN8niS1zy1H6WbCjszkklBnFWc+G1lc4o5D8HkYdj0UycrQu1MsMZ9bXk7stZENX5oGQa78BMgz2IM6P8fREhBHL0uKc0gNF/zjfj0xFNK+JaP2G46JFSQUFjN7HJhltTAZhcmnfz0K7LsSxtVcic1aBZXb8/pckA6tidBULfBIjTS/qkwzgtDHqm22n0wHYtjnK43As+hcsy4hj5vY74LAku0m5MZ80Qevs841lmjuWS2aO07xnoYjmtXYlWUYU0MtmM6+TrMA+EHYeVMJoMbVSJ9/umfUVNUmBVlSVOeIAK70kTz+SMSk3ktGCVGbbP3G6CmWEnOFzifRKYSkZ2/esLNBlpB3JpZI5IiLqxJOtX32oAPwAlt0dpPykHxNyQ8Thqqad6musAdiFOHRGCbm8l4BDBFbHhbh1H1RRtm29Wian3qTcDpmkUEdq5iuncEggea5ZdnwQJPdiFyVhXek4OWm0S7nvEIHVmWSLKxTgl98txja152kZ5TNHYZNR99sTqaIUpZKQ6Hj6RDPtF3/DLlxV3UWtt2+WLb4ZDMnYTuAMFMyadxkTI+K9Sj8ATFy08+pe4VYyd5uqqakCPRLdr13IxM4ye17S7pajQpNcvxhgLSwvHa6sRDm155dFg9aTftUFtpumNibVIQ/Vla6s0U01hYpyiTbHGl/CgDeekLrfLXAAJO94pRnWwTSVOqB05ksY9QZaiJzIvYG5skr6Z+F+qguvvY5aTdzSjn1rCQgJxqQ0AXDRbvP9koxlqRj/p5xb+DJGMuXWauhXnViXTk0Zr9s9tLW19cwwrMS/9mLGsdXxBLBl07ZHLZVOU9Wa9qu5O+0tDJAHnkhoqh2upIxeVT4CIhIikiOSI0QkRyRHJEeISH5y+AMH8P1EnReQbwAAAABJRU5ErkJggg==)
. Следовательно,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAXCAYAAACiaac3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFgSURBVFjDY2hsbGQY6njIe2DUE6OeoIcnoowZFjIwMPyHYNk3Hnn1hvV5HoayDAxvIGLGd2Pr6yUptbwh2tiHwThqIbp4fX2spDEDw12EG9Awmh6cFoA9IuOxJ62jgwdmsBGD0W5qOB4eIFg8gO45iFrZm6CAhLnLOLrBh6AnOjrSeDxkGPbAFENihvLQh4cwUuBgw3lubmEwu3LcZIuR1Ud7eCSj68UTUkanIuvzVJE9Q7HjSQwIWGDKuuUUk5wnwL5Hyg9USftk5CX0pES0J2C+p2YGxsgLBJITiueJUIvX99TKC6RmbJTChYAarJ5Az0i08gi+IhY5HxGTHwlmJETyoo1HcGH0wCTKEw2xxsLAfOAAw5IuebIg8UhjBg1kcQbjSA1kAyZO9GAzNo5UmDhxIlvoqlXMWItMF0lZFDMImcfAYI5QI2sdmkZinhhtO416YtQTo54Y9cSoJ5AwAMJab2czWrjvAAAAAElFTkSuQmCC)
и поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAALUAAAAaCAYAAADxGR2SAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOKSURBVHja7VmhchsxEBUqSlCRZ3IxK7dVT1EzAZ7LgZCAAvvGQa1R5kjAIY9iZlJgGhYY0C9oviB/UJA/yD+0ubvoLOtWOulufU7bBQ9EOUm7T29XuzJbLpeMQPiXQCQQSNQEAomaQCBREwgk6r8CU87uGJ/e3cT8nDH+NBOiR7x0KOqrMLhmjP2WCMKr68r4UfQwX60OujBSiFlvyIY/ISHkYiltDZ6jRAwy4fD45rzN+oX4NhxsUAgSmmOzM0McBSLg0++dBFBLTprwMhGTgc1/PJ8AvCSM2kwtjVeJEEk0CNjwEdvoPFgUo6p2VDNbSa4yb7WaH0RH7EEepMvetsxZ+MueJQfl+q8BXfw/+KXuBY1JJCH/6mpXE2Bx0oaXJBl/NvnfVAvZ+mfH/Fbakn+jJNXsb1Wn9sWViXmkIGfnMvMbBG3KfFDAqXP48dmti511mRU62MLmzRgU6ODYy15RENz7ZktfQbflBIOXJsnPpoVsvWgiTtQAktVD/v/JZKDuBW6gTswJYewJ8zDkVaIaZvpO/0ZmCVsgcB4LVztsNsg6uDKmBTeUXdQxecjZ9ZxxWee3d3mGyAkWL7bbt4kWXG5Cq6jlxDDkC6ymZnMNwtkEzhbBo258EdF+V6nP+ltC0IJZZhPdftdsjV07YnOCyYvNf18tVH21a9JemyERpTcYLo5AV5xe07a3x0wO3BAZakzgoHdxw1mTBVJpiMWLzX9fLVR8rbkBzNniY/SjiCb85yeXKweKSEmUy7XWNuJ9eghp11adB4zt6mUIixNMXlz99yk/XBOFdSJ2FjA1B5BD+xS1ryAxRe1bfnQpah+ffP23acH1FjGKWp9YkrbDd2moqTA5UBw67FgWhCEPF6qdpf1aOVX/ZOX+LLXP8gOTE0xemvpvazChBrVW1KaapeyuO//BpdqwlLYAWVz/Xj+E/MDkG7OlIXIlbxeNYqvXj5ac1DWKPrxg+6+/jTuJutIAvDoKNQbQNcvDcJFtaro+9F8pXbp609OS2j2bmhX5TaUjD6J79e19y5dSHH6/mtY96XUBLE6weLH576MF0K+a/VEIjTm7YP3oMhGz96PR7BTroNJ0fshZ/9s49Y92kY57/X70Zb1evyvHZp8+MB5fYKyvrjFio8t5mh7axt4CXDjB4GXf/r8ZwgkEEjWBQKImkKgJBBI1gUCiJhBI1AQCiZrwX+IP484FLJr8rogAAAAASUVORK5CYII=)
. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAXCAYAAACiaac3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEbSURBVFjD7Za9DYMwEIVvABZAwmUGAO+AXFBHCogqEhWiYQBDxxrMESbIBinYgB0SBWQwDr/BREJxcY119t33fM8ypGkKR4/DAygIBfELCBdDDgDPJlBFImrSiJgIoGrWcOlTqm8tnnjYAezm4jqlvo4Byq4HIYQ9owVqEIMUQZZp7GALrJuM5ltBBgBEuCYXPd5Csr6wlzizEFkWaMSAgiU3N7Nd/VZhTpyhiGz7zGqFNor5fI+Qq7h3QinrfqHRiYfZ3PxKIZiYyA7j1Z6o6Tk/SJn9L7wkjtJiCEYv08AfXpgZpx78gtxJelleWGvs3uMykzMIIRppL5CpJ5b30RI/zhqpG699QMZCFFN9OxSEglAQCkJB/DXEC3Xmh/dlhV4eAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHYAAAAXCAYAAADeD7vuAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHWSURBVGje7Vg7boNAEN0D+ACx5E2XA8DWackqch0JI6pErqxtXEdrOs6QzueIT5AbuPANfIckBm3AgGE/7BRkiifZCGbmzRveLkuyLCOI6QGbgMIiUFgECosAFHbFyJ4Q8l2CnrmQgRQ8oIScy2vsFMs4YIScqvsaYKv92MXq1JVKOfcdS8p0DsHdJU8/8QU/rPN8ppKEJPxUZHcJW6rAZUPo8dIc9SxLdksfkzhUF0QsKO4ueTov5vl6xhfkoB4sp/t6gkUUvaj/m4hu6w1KOH9Vv8eETl0QsaC4u+TptoBiOsKvWIqHOvm+BtFoszW3QDMLM6lr0OZGiGXC3YW3aY9vCltMR23tGW5QZRE+YVIXRCwo7jZ5bk6H7makWAdqFuELpnVBxILibpOndzp01p3iHoNdoK0lmdal+wa4xDLh7mLFpj3uFLa5SPcRV9txXztg27ogYkFxt80zuEhXttUm3myQbxvWrQsiFhR32zzXPl6zB0W8ZSG/ltD+cHbfzPSuL5p1tT4X0vRRJPxZ1WYTq+DKErkT4u7SXCjuunn+hrIh/mSP1AoRKT3es6ePiEXvNm+W+iRKU/bm4yQN/EgRMdGzYgQKi0BhESgsAoVFoLD/Cj/oPpZePYrfaAAAAABJRU5ErkJggg==)
Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAXCAYAAACiaac3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFXSURBVFjDY2hsbGQY6njIe2DUE6OeoIcnoowZFjIwMPyHYNk3Hnn1hvV5HoayDAxvIGLGd2Pr6yUptTxaRXgug3HUQnTx+vpYSWMGhrsIN6BhND04LQB7RMZjT1pHBw/MYCMGo93UcDw8QGT9dmCTb4g29oE5FKJW9iYoIGHuMo5u8CHoiY6ONB4PGYY9MMWQmKE89OEhDAwcX2Pjdlzm5bm5hcHkctxki5EDM9rDIxnGxusJiO+NTkXW56kie4Zix0MDAsw3jq4npA8WmLJuOcUk5wmw75HyA6XJB5w8kPJSnptxCjHmoicloj0B8z01MzBGXhAwvoSeJHB6HikpEe0JZN9TKy+gO8zYz6MS7BksJRNG4UJADVZPoGckanoEFMtuxm61MLORSyFc+YiY/EgwIyGSFxVKJ2Ase0TW2xGjFj0wR5sdo54Y9cSoJ0Y9MeqJEe0JAHFtheCoeWtcAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQkAAAAXCAYAAAAYw7o7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANRSURBVHja7Vq7btswFOVaIFuXBIi6eS5szsmoConnAo6gqUWGwuCSoVNBe9M3dMvSvXMDdM8fZMgf5B9aPUDrYZMiJZEWkzOcwbZ0dc695uHltcl2uyUAAAAyIAkAAMAkAACASQAAAJMAAGAyJnFDyT0h5F+J4CVifM5ZNA8IeSnfo88rvppTQp6r61qgN/djk9XhlXB+5iIW58mZb/p95DwG7zS9PYnOyUP9niBc39lYUE29Td3H5FXksZH3DOfRA9uw05CGP27T9MS4kyjEZkHEzXmhFmTxRxR0E9OlKE758OBJJCK/l8abpbUiKHi5iuWjfl9rNoT3Ogzu8gVRv6aI13rPpt72a9e8KjNqmtXONDpMVhlUkC3dsen4LAw/i9eF4FoS4ij6onKmoWJVvFzF8lG/rzXry7tciId38UMLd0y99Y6gXPwVD5e8dgYhiZlz6TIlRVuyeFxxNqsXWDcp5u2YXttowkuv9Roey0T/EO3H4jylmpnwFruk7FrZYhynRlWnU5lCaYx9efXlpjKkgu8qupR9pjQJ0QqpgquSYgsmvFzF8lG/rzUz4a3qWLp218F6a3HFEUKYgkteu3gDZ00dQ57utrBIgoVkD+XlKpaP+n3kbMJ7N+iULI6u3XwcvftDS9e8xPPa8YRxVVDXRunWOufH4hoDp+rbzpny0t2RhsYy0T+8bXfPeSo1M+Gt1dJLuIxVo7F59eEmMwkdw1KaRLtdUhEXD7I1Je7Ly1UsH/X7WjMT3qrFcehXBVt6j81LdXxpD1O1TeLQYKhqofaL25WUscXq8nIVy0f9PnLuw/vQwE7sxDYMQneo6pqX7GdOk19RpOeU5qCl2dbs/7ll+FBKeQ7V5NW+lyXJBYujK8Gtb6xCL435hrHTPKk+6G9r97VmOrzb9ZG25xb+LKbSq318s8Rr72jROqK0TUnWeVhtN4+JonBB8PSBfvrZ9Y+ybidePCYJ/Wq7mFPT7gNvVX3yL32SsIup6ZwqL+2ZxGsBT5Yfl4zPOFvOaLi+7hsnjqKr72n6bh3S6zzeW9LuA29ZfbLd8322e/7Kdsy/Wffxu/FZFj+g8bejaJworzdpEgAAwCQAAIBJAAAAkwAAACYBAABMAgCAV4r/MEryh28sbmoAAAAASUVORK5CYII=)
В любом случае,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAArSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlELB4GTRjWMakBgALXXMwTb7vqDAAAAAElFTkSuQmCC)
-максимальная подгруппа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACUSURBVDjLY2hsbGSgFDMMbkNy3GSLGRgY/sOwrFtOMYa4jMeetI4OHrwuaYg29gEpNo5u8IGJ1ed5GMoyGJ2Kra+XJMo7YFuRbIsyZliIzCdoSEdHGo+HDMMekDfq62MljRkY7iK7iChDIM6WvenmZlzLwGB8F935RBnSEGssDAwPBwYGWevQNEznD7F0MmrIIDEEADzMqMYCK9vTAAAAAElFTkSuQmCC)
перестановочна с максимальной подгруппой
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAARCAYAAADtyJ2fAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAABlSURBVDjLY2hsbGQgBzMMrMYoY4aFDAwM/3Fi46iFGBo7OtJ43OWMZ8XW10uC+DlussUMMh570jo6eGB84+gGHwyN9Xkehh6R9XYwQzxkGPbIuuUUw+UjIw1hhg6CwBnVOPI0AgAU1WENbBe80wAAAABJRU5ErkJggg==)
.
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAARCAYAAAA7bUf6AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADHSURBVDjLY2hsbGSgFDPQ1BAgYARiFgQOZQaJr2JYxUSUIaEMDMzlaS4mcgwML4EG/AZjWfddseWx0i7GbnVpHR08eA0pTwvld5dh3MPAIPfSo7jBACbeUOxhIMvI8IrBOHoBXpcADeBzk2HYyyDruQvdNhDO85AtMo5u8MFrSI6bbAkDo+xrZBcg44ZYD1tscnBGR0cajwfIFWjO/Y8jgLEaMnGiB5sxA4O5pEueLKrtxsJAzQ4IbGzuMXEiG/3Syaghw8UQAO/rlzUlbKXrAAAAAElFTkSuQmCC)
- группа типа (2) или (3). Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAARCAYAAABEvFULAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHKSURBVEjH7ZVPTsJAFMa/gnGlB9B0ws49nRoT1k0zBImrRoGUZWMIqUEwXbAo7LrlAoS4xBMgsvYOhHgBvYEG7RSq5T8lbDAsXtqZzLzv1zffm6Jer2NXYmdAF8J+AwKAg9nQotsUb7cRmcjfbkdm5/805yaxdZpyF365wbn585OHAGmgmZYYCkZb/IFFRkpCQIewYonPm4zcu+Ohp0tYx3Cco6U2sE0WJxA+qF5L8bHjGEeMoAuR9fzNqypWUGMVyNnmsrV2hqY5mK+jaYhWC4wSSK+6bZ+s5VkviUAHwQ1FlVSAyblgcKExZNmrygrQ35yEdXkBNCCaoZFWsJprwWYlPILmWsFq3fA5knyeTsRFOKQn5EL6x7kqLMs4ZiJeiFosm6YuSkCf6nYqVINZln4aB97i19aVb/RblTxwkOlkjiuoiuhx39Fc7TJMg42sRvqKQm33xPqLTmx5g4195DfWKKS5ycbN6K05z1TTwa5eCetZTRgKIO+KYckbXV2eBcY+ClOprIwmh46phfI60J6OnHxyG7ezzk0z10cUuCOKmdj0/jQVknBha8ty+DoXun3WaDQOWQx5xFiev//fP9gedg+7h91O/AA0EQjhJqVcrAAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAKQAAAAUCAYAAAADf5Y0AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJwSURBVGje7Zi/bsIwEMYtVeqE1BkJj126gd8BZWBlKIgNZUJZGDoGtiwdeARGeIXyBLxBB96Ad2ibuCmu6/M/4iRUN3wDEHKXXz7fnU3W6zVBodoihIBCQ6JQaMh/rNWUjQibbG8h1wmjr1GS9p0MOWFkSwj54KLn/AZpEvUpIWf+HTvN0rRbbaJNx/wdW742y+JO1CMH8Vo6XCzDvTi73Aoz9qJDnGWdpnnacCp/Z9PVyKlCFg8kPGiazroDMngL8RBtiil/zrUY0mUOVoRYGEH6ru7cCoPRaCebsSmetpx4HvSoWvhal5c34astzIpqQ0xxBXOAl0rEIaurpsq8deaWx4cWRN08XTlBY4by5ry0D47PafKoK692beZbhhnHN6YyruU8xWPSdxEiB8tfXNnioNasM+Q1LKxyM1S7Onn6cCrzk/PXll7I8SHLvUvM/KUwQk4yCLmSaGMKoMr2Ut5PV1V+ZqVAFdKUGzQ7NsHThxM0SxqG0rAt85qYxX8o3UGQTPOVavgWoZcvB6oOpqpQ9cZANoRs2KZ4+nJSjSRKQ4qtwnXu8G1TPjHz/7BhMjdVGahVqVqicxvS5Hn9+ALnZjJknTx9OVkbUn7QOjYXPjF1ZhNbDQRK90J17QvaTYbkAZ49AtfUydOXk1XLVrn2Uv7Dnlu5xkyGbG6ajaBVD61Om51jWflCmdE2N+jopAmePpygTRmRz4vkw0zfHayNronpCxCKWfUOvkoeutxUZ3518vTl5HTsg7povx/fxfHLQxtzy+JxhxLGos3m/pY45dd+baCexvHfcQNNh2qVEAIKDYlCoSFRaEgUylWfoYO4eIbqgH4AAAAASUVORK5CYII=)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAARIAAAAXCAYAAADHjcAkAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAPBSURBVHja7Vs7UhtBEJ0DcACo0pL5AGhywmUDLiCpiEwRUZsQu1ZkSnwBMkLOYFInuoEDbsAdbGZXK41G8+35GNkveFX8tNP93syb7pZgj4+PDAAAIAYgAQAAGAkAADASAACOBF3bXFSMvTPGflf1/QOMBACAYCzb9vRutTrpupszfn71JL6GkQAAQK5Mmll3eVCR9A7DFx1I0pAWwM2/xuNywa8Znz8fS7xzXn1v2u7if9SyVLxzzp5Fa6Pui6AgVqu7k2bCXvsHbaD2SqSgelTvYhPIfRhj/O2m685yEOKbS47Nt5/3fv5lOTev3ZvIpHmVy9fPrtn4e75YXpc0kv38P/DBW7tsT2tef1P5y3UuShqf4PnqnD/JMXgHcV9XDyIJWaR+syk/I5EmbVgRy5RNf+TajKG55Np8at7q9yU5P9BAbNqqeTEdgs+s2RBLtdaZcmotd8a2b8TbQx9RzYVyXLqCWjTN14MZiSuIQUT9jak7AKE3zLgRBifOd6NRcslhJGPe8m06HIpdXLk5t60tnm8yqmPQzNSSpdRyayIGHUTMVLOncFzCSORKSc3NGcTorqZyWnv4Nq9xETn83XQ969ovtpLUq0T3cH9SLhI3+rZgt76vmEMc1S/5YAyHZdgslDh9eXeu7br5IjSj6Ebff9O1rfyP1dJmbv1as+ZS/V3OcxGSm2/7KDgXz/JppZ1GYnNDlyv7lqs2QbSEMfamJqfeqqlyyVGR9HlL64wl+phTds4ta5tmIzGaxehG4cI0K0ml5XbdTINo8rmIrEhUjVxm6W0k44NNhLluC//BmV9p3L+mql6Mt4Clt6fmkq+v1g87y3GuH7SqRhOrWYxuVC507VtKLe2mKHMb3vJROY41Ep05ui4VfyPxKSuJ/bFcYvs+R7yG1+2ty811pSA1l9Stja61+Buc+1YssZrF6EblwsdIYrQ0GYmP+eU4Fylam8EEd2uZOIyqSHQP003RY0psH9J8BliCEJvAobmkrkhsB7U058YNZRkghmoWoxuVi2KtjYYnnxY79blIUZH060omE9LWeM1IdA8cHS92Kq37DICNtLbmt67EbLcfJZcck36Xy5fi3JSD7u1TqmaxulE10w2MU2ppeos39TtqvhzHGkkf9yYXwflkMvkZUlV5BUGdtOuEVvvI/QGjfY1YIyHlkmjzmfJOFaeNd8raus9rUDRLoVsoFyXe/t1rY5T2wWhwmc5FCiNR/yHP9hEAo5EAAADEACQAAAAjAQAARgIAAIwEAAAARgIAQAL8AaQdLVrFd3UMAAAAAElFTkSuQmCC)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAC4AAAAUCAYAAADyWA/8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEASURBVEjHY2hsbGQYinhIOnrU4YPG4VHGDAsZGBj+Q7DsG4+8esP6PA9DWQaGNxAx47ux9fWS1HZMR0caj4cMwx6E3Qz/Zd1yikkKcbDjZTz2pHV08ID49fWxkkYMRrtp4WAQznGTLQY51Di6wQcm1hBt7IMuhtfhMJ/DNEBigDahjHA0JGYJBSBeh0OShdGpyPo8VWQPEINRkxkQG0ctxKcelgRxJQmSHJ7nJh8GtHQ/MBQ2+uTVqxLjYGBSEjZmYFgm75YXhizeEGlsic+caGOGSmBsLgPGpjBmzJdzesgy9DLIevSWd3RwjhaHow4fdfiow0cdPurwUYePOIcDAHNXWAA27YIaAAAAAElFTkSuQmCC)
-
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAARCAYAAADpPU2iAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAArSURBVDjLY2hsbGQgBTPQV0N9noehLAPDGwYGhv8MxlELB4GTRjWMakBgALXXMwTb7vqDAAAAAElFTkSuQmCC)
-максимальная подгруппа группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACcSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01SBI+qkCJjfJueWHYNEYbM1QCXbMM6Brh4ZJyRjVSoBEAARGahOihKlwAAAAASUVORK5CYII=)
. Если
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEgAAAAUCAYAAAAuoXvLAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANvSURBVFjD7Ve9ThtBEJ41KSFBilI48VKloMQep6JJpNN5+TFRihMcloso6IQsdBIYdIqc5EwVv0QIUCE/QJQ45AlSpQx/dQK8AShk584H9nntcwQUka6Ywuud2dnvm/lmD9bX1yG27haDEAN0CwAZBgwAwJ0WY01r/jYGbishA0Jn1+uJf/GvAyTkBSLzu2i7D9kF89cuWCRA81nYYAz+yP3SRn6LcnXMtUWaAzuRwc4AMntF103eJDD1OiQsyxjOcdbwz4Azme051xfXwkkrmW5e2Hz84ANk5zeiSHhtpmeCc8iemJW8M5t+joXqdF8tNo+wBXyiYdVqg1RRtl1MIeDnmwYmAGdR5xIIOMeiOxWsu0WcIqLS5tuZqAtXSgI5wDHw/Kdeex3LuJdLsd0wyfK+HxnwE2G76UiAHMcaEjIIFqtTdLiJic1+q6ajPSPKnZgvETiMH1OlKolKiV0iSgUMEZcB2AMuvuQR3/fKUYJzV0/Bt4D41v9ct5iUBdAI+ysDVUpahkP6+4uyNZrj0GhlNYpJH8yr0k2guRnomMrHLWmSeXbKRWmlayUrAHKc4sM0wBEAHtKl6Ddi4V2v/JZ0viqJOFERUatZg5OT5su+RNoLBKRj/DRcct3MdYxHKJnkYmm5bV22CemYVqqgEoAMbAPDAxXzfiUT4+JrB+NeXCIB9wzbTi3qaKku3gqAFwsLm9eaYs2kdkkPGMscGLaTigpCPhOc73RLsFoWY5zndiynNtRZ1nDYLemo6rqMTdozjD8Myxru1tLBWVxfKl8LIL+9+E+6rD/NokEiH9TthV57bMFX0HTzbUl7kxFOVUmTcM9RdQHuR2mfa2IeZ4QzAvDLa2kFSC1nrXZ7HvQFkNdeLSXtq3tvkKRPOTweO5gu4HQYCI9VBvtcL621ahQJvT/V2HmU/nkVj+JNkK/Xeoox36ygfcjMbYffVqSdBSFeqQZB28OJ3iGk8t7boxnkUvkhfTRt21zFjq3jQpRWEYOqKlsSfJlJ4dQsJxtMPin0W6QvvcChCqO9jqVl9dnKs34mZ1O3mm8rf6//9uo+iK4YLuJ96fA0sKRmc1o3EUZb1wHN0Q4WNUwaVif6bSJpGYOoOcpW6eeMDlK0JG/z6dOf8pCO41f7+Xiv3OPvrfhjNQYoBigGKAbo/7W/+avfRbEdMb0AAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAC4AAAAUCAYAAADyWA/8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEASURBVEjHY2hsbGQYinhIOnrU4YPG4VHGDAsZGBj+Q7DsG4+8esP6PA9DWQaGNxAx47ux9fWS1HZMR0caj4cMwx6E3Qz/Zd1yikkKcbDjZTz2pHV08ID49fWxkkYMRrtp4WAQznGTLQY51Di6wQcm1hBt7IMuhtfhMJ/DNEBigDahjHA0JGYJBSBeh0OShdGpyPo8VWQPEINRkxkQG0ctxKcelgRxJQmSHJ7nJh8GtHQ/MBQ2+uTVqxLjYGBSEjZmYFgm75YXhizeEGlsic+caGOGSmBsLgPGpjBmzJdzesgy9DLIevSWd3RwjhaHow4fdfiow0cdPurwUYePOIcDAHNXWAA27YIaAAAAAElFTkSuQmCC)
содержится в некоторой максимальной циклической подгруппе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAUCAYAAABroNZJAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADBSURBVDjLY2hsbGSgFDOMEEMaoo19GBgY/sOxcdRCog3p6Ejj8ZBh2MMg47EnraODByRWXx8raczAcFfWLaeYKEOijBkWIhsAwzlussXYxDEMgXhB9o1HXr0hukKwIQzGd2Pr6yVxGgL3Bg6/43IhiiEwfxtHN/jgCieCYVKf52EoyyB7E5tX8HkTiyEMb9BdAhPH5QqMgI02ZqhkkPXoLe/o4IQY4KMKNGAjg3F0JdTLwkAvL5N3ywsbiXlnBBsCAEbT8mNIzfSXAAAAAElFTkSuQmCC)
группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACJSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXDIeWMaqRAIwCUUZtErlbMMwAAAABJRU5ErkJggg==)
. Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAH8AAAAUCAYAAACkjuKKAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKWSURBVGje7Vi9btswED6gQCYPBToJCLt0CboU1gnIUBToILgcsnpwBE0NNAVaMnSkvXnJ4LHdsjV5heQJ8gYZ/AZ5h1aUSosRSFqiygzJDQfEEnk/3333nWNYrVZA9jqNQKDmk1HzyV5389frYsIP4Q4A/khjs/MLIfIIAbb1s0N+V6zXk1AJLTM8UbFrw9MrHz9tHeyRl2L6nKD+rxpCx3YCh9nyZPeZseuQIO6apZFLkU4S0MenKPmUMX4dkqyhawgZ2wxadSmG+DYXImqYFH56ThGuTKpyPmMXvmoj74YGPXQNIWPbpaOSi/qih2TViQyQPRfB6hwAt5KIfaROqVWTB7uUPtV7nQjtKqviZvw7g/g+z/Gs8YPbhVhM5XvdX8ga9k61Q3l9Y1uaxy4Zg4ehU1PLLMBjFzBXAju5shDExmgTsyUIKuedesmGVr4Vods82YMEqxtfncsQRZKw330Ub2wNVjw1giZJ8tOUy5jYjoBPp6gPAN/e4y8bu237V8UzxVKF2UioryfjNMTxLWImFAjST/f7jP5OkUkCPaT2MTW4m94OTDnDM1Pzx8S2Nqks0y9qOvrK3r4CTQXoUzhEzvbt9Gb1NODpsqkrQFdS902RW/H8ajApp0klrc0fEdsJaHO5366yJddNpstQ26pQz12Ekg02Mb5RBHav8tFVp3tHXxu+/x2MqcE1+fo9d/P9Yj/5sNnwAwSG86Itvkyjygce883mwJXwjxQj/Z5xNRTzybxYvu0+XyAcQZR+mt/cvFHnqqCfARdHTsLJ3P6dqe8w/lH6qP/G/IN+LkpLpmJhvnzX1gZf1Tv93FDrU0ODLxz3jaHn58LXFz/6pYt+4SOj5pNR88mo+WTUfDJqPtmLs7+Sao/fXRQRWAAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAC4AAAAUCAYAAADyWA/8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEASURBVEjHY2hsbGQYinhIOnrU4YPG4VHGDAsZGBj+Q7DsG4+8esP6PA9DWQaGNxAx47ux9fWS1HZMR0caj4cMwx6E3Qz/Zd1yikkKcbDjZTz2pHV08ID49fWxkkYMRrtp4WAQznGTLQY51Di6wQcm1hBt7IMuhtfhMJ/DNEBigDahjHA0JGYJBSBeh0OShdGpyPo8VWQPEINRkxkQG0ctxKcelgRxJQmSHJ7nJh8GtHQ/MBQ2+uTVqxLjYGBSEjZmYFgm75YXhizeEGlsic+caGOGSmBsLgPGpjBmzJdzesgy9DLIevSWd3RwjhaHow4fdfiow0cdPurwUYePOIcDAHNXWAA27YIaAAAAAElFTkSuQmCC)
- нормальная подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA4AAAAUCAYAAAC9BQwsAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACJSURBVDjLY2hsbGQgBzMMA40dHWk8HjIMexgYGP7DsKxbTjFejTlussUghcbRDT4wsYZoYx9kMRyaZN945NUbostFGTMsZJDx2JPW0cGDIlGf52Eoy8DwBtlJRGkESzAY342tr5fE6Wd0jfX1sZLGDAx3GYyjFmKzDd01pDkTyTXDIeWMaqRAIwCUUZtErlbMMwAAAABJRU5ErkJggg==)
. Отсюда следует, что