Случай 2. Порядок центра
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACcAAAAVCAYAAADFEfeTAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAG8SURBVEjH7VY7bsJAEJ30yQFALCdIg6dPhZwtyAEAuUMUCLmhcEGx0FnKDdJxjUCRmhMkEtzAZ4DYXizW6xljCAVIsTTNeObN2/ntwnw+h1uVmyVWSi7+Hjjh7KtgVfVhyfUQFrHjzpK9Ftx4StVM+yDw6g44S1ufBC9gYW8RBMMnifj+DM6XFwT1yuSU8mrYfP0YhuFjkbCIpK9apn7Wxw5FWHXxLSUj5NLE0vawF+54onzZEiB+bEyeXOwgu+rF1I1dMUkAsT/r2AehMpYRsO1NvOyfJuisbYxKAzEdtR0BECUnpcpv63UwiJLycZi+iwMzW+nhCftSYmmJAbaUo86aWNsl0eXHLdV/3GBx2WOJheHwUTZgBQ25svvP6LUcCc4n1QtYcoOVJcFuA5bcIQMbqheOfZgnV5ZpexioCtl64AMXJ/Ov5Cifs8ixp4v7Al1/UFZWc+W0R1OHbBOmf0+WNZvMBMBsXK3P7yNuIA6BNinxeMHmMSCi1svJgTiCFm6GHbVMuVVSessQGBevklPCZe8c4a6+q7xKkpI0ofl9CcGsWtxNcpWnjQ6Cn9zaudTnPt9z/+Tumdwvl3B7s9jajcMAAAAASUVORK5CYII=)
группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADeSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAa0hBt7APU9J9BxmMPsmKYuKxbTjFel8AUGkc3+GCzIMdNthhdDkVBfZ6HoSwDwxuQs3F5M8/NOMUjr94QpyGQMDC+G1tfL4kvgNEDGc7o6Ejj8ZBh2IMeDnBxUBjBsfEdZIsQXqmPlTRmYLiLyyu4ApUkQ0ABitOrmGEi+wY94OBewmEBauxAXHMHbGN5uRQsEKuzXIxAsYYr2rFGI0ZKBWG0AB+iuZhuhgAAaEvEYAlBwx8AAAAASUVORK5CYII=)
не делится на
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpNjuAEypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEsh67iTWEYXBmJroaAACxUYVtzIdP9wAAAABJRU5ErkJggg==)
.
Рассмотрим разложение группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADeSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAa0hBt7APU9J9BxmMPsmKYuKxbTjFel8AUGkc3+GCzIMdNthhdDkVBfZ6HoSwDwxuQs3F5M8/NOMUjr94QpyGQMDC+G1tfL4kvgNEDGc7o6Ejj8ZBh2IMeDnBxUBjBsfEdZIsQXqmPlTRmYLiLyyu4ApUkQ0ABitOrmGEi+wY94OBewmEBauxAXHMHbGN5uRQsEKuzXIxAsYYr2rFGI0ZKBWG0AB+iuZhuhgAAaEvEYAlBwx8AAAAASUVORK5CYII=)
в объдинение различных классов сопряжённых элементов
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAALsAAAAYCAYAAACiGIwqAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAMdSURBVHja7Vo9UuMwFNb27AHYwdyBaOstjQvqndl4qNihYtJQpGJMuszscAGq5QCcYLkA3GBnyAngDNm1bCRk2fqJ9BJb+BVfEceRvvf8vT85ZLFYEARiDEAnIFDsCASKHYFAsSMQEYt9SskdIeSfAJ3eLZfneylNr86Xyz0oEhdpcinvk6QXl63rB9kD5J5D5tEHhmg701p2QB6g9u28eJ3Tky7j+HXuCEjwtWl+fcKvFbPsKCGTp9Oi2N+Vg4fCow/obaePu7a9KE73KSHPkEHmZLCaAXTfBWcWyaiqqvSQRYfCo7fsvmPbK72VHYMrJxk5Jb+ZFku9ftpY7HUUk1fT5rOU/sxmxdE2yhWrGG8Rvdo0oFyDkDlXV5kgeEDyidV2F7y1yGuT1mxi54Ln69hE30GArnxKVqu/V2Ewqg6y5G+a0ivf/SEeOASPWMUOabu1By/F6RpINrErHcm6unc+/2wUu24YkAhK4oV1hpgRSPLqWzUgHjgEj1jFDmm7pv9e+aztKnalO3np0mibkCYDb3M4rarC1+y+Diq/QHIVjUkYEDwg+cRqu+akx6nVCBW7vJ/qE2ex1wvoneDbxsj9YchRU7XO4fGt6Xds/eNDettlAxQPKD4x2x7SaoSInc8BusDvuLldaoQDLMOEvwPeg0gEnbad0gccc4wpw5m+d+XRLMvmShfCxyd77sJ2CF00Wo35/EuI2KUjSuscoOmtmoLipzTQ07nOWeJUqEPwtkzYdVxmeyib8pil6XfGgflrQiZ/nPiUmYyX8G0lD5+9nGw3ZGEWKL66EEI1+EG2qfskhj67Vkb3kxXgsvY+EDXXb12Xsqdr2W+voR+MfHg0fZXc2IYuUb4d+KhthO1zyF6te5u2r3W2C5GW92eU/hIVwTAcegeC4BE+OEf10gOqx4VEnmVnY3jhJIuQV7NK3HR607rnR/YN+kQHAij2wOq0zRcvQ4T8UlE93XFpS1DsEYrd9pr7oyKntGBDZd3qwJ/Jo9jVWaLn/6qo/xAcU3YXZ+b8TD6igB9VVkKMG+gEBIodgUCxIxCR4j/en9Ocryz5bwAAAABJRU5ErkJggg==)
где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJEAAAAZCAYAAAAxO8yWAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAOpSURBVGje7Zo9btswFIDZPTlAitB3iOm1m6FqSA/QCEGHFB6CwEsGDYGhePPSC3TL1gw9QXKCnqAFnBPEZ7ArSiJF03wiJYqSmjLAQyD/iI/vfe+PMloul8iLFxvxRvDyf0OU/r2j4h3pIWok9xE5TwHaUsHBzW0Uhlez1erIO9VDZCQ3Ab5FiLxcJskJu6YgDTVTvvVsWdsAfRslSS5Pxmj8xAAaqqMuCHooMuUOIbwJ58nZv9IeqGxZZd+KSKebz4VFufD6Fp2Gz32Uj6yMkYuHDKh5eIYR2uQ6kTUDq3UYau410wuHj7M4Pqb6kuj+XBUMhETJUOARoM8ltXEcz44DEiy+BHhBXyOfk0+1MlHRc+xEA+ROG/9y4awmEPFrR0A3AYgDgtBLVbANBSLeW0p6Mv+zBMICVtU2VPcdxY05qT1ln4MopyDH8Xuml4t+iIGgyiI6Wa1mR2EYXVWVAFcQiSVJV+ZViUJmQHwPYgA2wil6ps6xMSa0Kd3moF5MNZml/carSb9RVw/RBnX1K2y2zkoAYDdTiOrYrcgWr3tlCSjzvBUQsros84B8ZbZl9lB9vkIZ/CcIyEKcgiyaS7UoFCoBKZtRKOW61IN/T3pPp998Pv2wnynxNxXkJhDtBwvvUbcqsOuW9dwmat+qoGWBYVzOWJrrc6rIymnqQPa/j7I5QqPf0P4h/bKIxehJB6gOotwHMqhqf9A1aQNMG3mTzMWzigSdoPuulDKT5Tqk12mAaCHKKJ2EP7OFLDJR03Kma+Rc62ES1bb6VUGkKqWFA5W+2GvkD+SwnPHPA4DLTbXiu2uxTFc2lBCxrsuIaMimvZitHrpJ1FY/E4ioXhRyOmpD/Qi/1+jjd1Mf6SCSD3N1NgEoLG/AF1SAxNOog4mNNnWTCf4hb9TlmiY9UVv66cqZcAZmFnAYP9ZpPfLAwpvp9d0YAth40BAvIOLvrqfjbEMUpLTuuj74oiBnk6FwaCdOCl0IZMy29NNCxLKLob158BcNva5tKCfI/e8weOUMawSRNAnwSejgdWE6aPvsqDgR51HHHelwTV3KF43Wpn46iPhaxb1NHuuofKU7yVeWekB/KDNbn3a20bMMcc2m52Om+lVBJB+gyvD2JU4gighJun4E0uWaUIPZhn4QRFBZkh/3dC0sy6kCxC5SO37208ea4uOfNvXTZaI6k2w3wQQ/GbAms8vf8fSxpiv9hvQU33oYegub8OIh8uIh8uIh8kbwYil/AfuHRenXjiByAAAAAElFTkSuQmCC)
– класс сопряжённых с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAYCAYAAADzoH0MAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADKSURBVDjLY2hsbGSgBDOMGjAsDQACRhBGFyPKgIZoYx+g4n8MDLJvPPLqDVHEZDz2pHV08BDlhRw32WIG46iFMJrkMKjP8zCUZWB4I+uWU0xWIHZ0pPF4yDDsMY5u8CHLgDw34xQTE9kV6M4HGexm7FaLHBYYMQAKNJDTwd6Q9ViZVl7OCzIQFqg4XQAOMFBoQ22FeQMkBguLKGOGheixQVKiAbkOPVxIMiDa2Lg+tr5ekiwD6utjJY2No+vJzguwFImeNkbLg0YGAANvMkpnDWQHAAAAAElFTkSuQmCC)
элементов. Различные классы сопряжённых элементов имеют пустое пересечение, а число элементов в классе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABUAAAAZCAYAAADe1WXtAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEwSURBVEjHY2hsbGSgNmYYVIYCASMIU83QhmhjH6CB/0BY1i2nONrDIzmto4OHbENz3GSLGRiM78TW10vC+CCDyXZpfX2spBGD0W6YgbAgQA8G0r1tHLUQbEGeh6EsA8MboIH/kV1OkaFwvozHHuTwJN37YNcZnYotL5cCeTnKmGEhenhiNRRrGCHxkWOegUH2tUdevSFeQxEaZN/AFMPFZD12o3uTpMQPTjbAsIPRVMlRsJjFFl5kG9rRkcbjIcOwxzi6wYdqhua5GaeYmMiuQPc6yDI3Y7daQmGLEfOgiAF5GxwEsh4r08rLeUGWYItlgoZC8jQwlqGugwUBrNAAiYHSJbbETlEpBfIFMeFMkqHRxsb1yHmcYkNBJZSxcXQ9VUt+WM4iJu0OrjpqeBgKAAak9MYAp8/qAAAAAElFTkSuQmCC)
равно индексу централизатора
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAYCAYAAAC8/X7cAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIASURBVFjD7VdBbsIwENze4QEgzB/AvCH1gT6gRJxa5YS4cPCpMtzyBm7c2i8UPlBe0ErwAngDbRzixHHs2CG9IAVphRLWuzu7s7sGVqsV3LPcdfANgLsAEH0ehNRydON527nSgxMMm+j7chV0InM2WPp4jP3luEoQlE67Qxhup4x1qpxjbNqJz1HarQSAPeOnOGg82Yh3YRi0SA92EZAzB+IaBAcMgA9Vg09jmZMBAvRj8mlwCL+6LPOM4P7jOgjDVqUM3hh8HsRwr7OjUYSznPkCAOwzV8ecgsibLUx9ZXsny8xDC11cRaWKFCnPPtqrtpIKX2Q/6TtEtqbqmqoABY73yM6VIg7cP5roIzJqyqy2+gBHldoFBRdjLnKtphmAoKuOYmUAVP3aAEzctQEQFXcdyVYAoulip5q5S2nQ9rD3JtMr4zNcuGGfkBfxu41Ccw+/jkboXU0YB6b6caKQVNaTACGyyxcRBvQlN2SS4XS+82c5O6Ym5vY4OK4b+0PkI6C0zQEJXV1FrU2cKy2CbbaBueQXkTrfTdcNdYxeQWcLUvYl9GIWaAaJ0xitNGESY+nuiJafHmixCjbbKk3KriK1AaTPhvHLAfah/+0KwseYqUmIuH8wNXu91Z70iWnj5oPAn7YrhbrpXc7VXFT5m+r/LL+sH5o/NA2ABoBd/gA1SHixLgdgNAAAAABJRU5ErkJggg==)
. Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJQAAAAYCAYAAAAcTtR3AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAPjSURBVGje7VlNTttAFJ7uyQFATO5AJkdAxgt6gGJlRZUFQtmw8AIhk13O0B27dtELNFwgnKCVkhPAGUo9v56MZ8ae8dggOkhPKI795vN73/sNWC6XIEqUUBKNECUSKkokVJT/lVDl3ycsbwqKYVBxmK6/B2zvQafv80HfRf5QFLNDBMC2POAVJtc3oZ1B9KOssN1zncCb8vy/GAP+z3Gw6+QagOl6vlod+J7hcz82+gUCDwwbFXTxkOfzUYKSOxMeN53wOV0UJ/cZOkfZ/bmLrjyfHSGAfs2K4tDVJxMwWc/y/KirjbQZih4An/CLvQWhsGCDYvLIRi0W6QkEaNNksD4IVXxBn3VE5jh9go89S0jJr61W84MUgnVJrBcX+1NdaOtKJtm2YzD+fXp1OwlPKOw4mP7wibhQhCLZ6Dh9xBhEFFuyUp+E0pFbxeqaTWw6CZ7x2be29hcZxpNM+wE7edLp6UQo4kwWNa61Xb5flbbASJQeg0cc9TSNg62Lw9QzumCiRgYvchZRZZGgr7psYrJZk07XgMDBZsqQtj7UGMgaXN6E4s7EDhQvzup7U1qv9ReqlEBblRdyLvyTJOjOJ43LZ3TFRJ9HOxWDiZxqOdPZjPaCbiXNnp307YkoqdJZ4poh25uylDehZIUkOzhESqiSx8sBNoSppg9R8nhw8dJb73PE4PDalvgmnb7Ceqed7WyedUzZRzOU7dSK4E0ofujt1enEVE/7LnkkK0zTn9RpdmP1WfK4cU1O8GnIm3S6Cs12dhvxStMGJ8en3utNqP0S4ebMECVPjpC9aM7z0dAlr8n5bZwZilCmvqcNBrmNGZRQcj3mfYxamzE4351L+4mqMpDYi2lIZcIScsqjhKyXXkF2j0wj+jLN3ke306p6IdqTZWl6yb9vU/Lw0DCdwu8qVp39gpY8Ao7V9v1Jaz5K0+wyxFbVBoycw5wkn0HLbzkcaEilwxKSUNWilxKAZwqOyRb1DVPes6qTTrRwIwcxy0CiP8Of5exha8qxTuxTfL9YBZX2k6dSFaNPU65mT+P4WW2s6fZWRFeHhtIETI5CeQqpXZcmJxOWPhab2tJp2YvZpjxNY89bjL3GXt0vmSZK3dpA+I5lJfk8m/1c1wZCr2QL56nCdYnXxdk+WPr66WVoIaRkzq2yWn2ipFkUblwnYtV+OEOaFqSdFps2yRAqumxkQzrPhOUjEkptSXRlFP904rLbku3HS7spWfRCqBCGD+W8xr7nAxBK9DOsz7JtxCtStPtxWH7nNs/1QqimvmBI59mwfBRC1XvLqpft036DESpKlEioKJFQUSKhokQR8g+XfOgQvEG76QAAAABJRU5ErkJggg==)
Централизатор каждого элемента из центра совпадает с группой
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADlSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAaUh9p7AvU9J9B1mM3suKGaGMfkLisW04xXpfAFBpHN/hgsyDHTbYYXQ7VBXkehrIMDG9AzsblzTw34xSPvHpDnIZAwsD4bmx9vSS+AEYPZDijoyONx0OGYQ+DjMce5HCAi4PCCI6N7yBbhPBKfaykMQPDXVxewRWoJBkCClCcXsUME9k36AEH9xIOC1BjB+KaO2Aby8ulYIFYneViBIo1XNGONRoxUioIoyW8IZqL6WYIAGDsxF7fD3CIAAAAAElFTkSuQmCC)
. И обратно, если централизатор некоторого элемента совпадает с группой, то элемент попадает в центр
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADeSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAa0hBt7APU9J9BxmMPsmKYuKxbTjFel8AUGkc3+GCzIMdNthhdDkVBfZ6HoSwDwxuQs3F5M8/NOMUjr94QpyGQMDC+G1tfL4kvgNEDGc7o6Ejj8ZBh2IMeDnBxUBjBsfEdZIsQXqmPlTRmYLiLyyu4ApUkQ0ABitOrmGEi+wY94OBewmEBauxAXHMHbGN5uRQsEKuzXIxAsYYr2rFGI0ZKBWG0AB+iuZhuhgAAaEvEYAlBwx8AAAAASUVORK5CYII=)
. Поэтому из <1> получаем
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQwAAAAjCAYAAABhATTEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAVDSURBVHja7Vy7TtxAFJ300KUIUUyVH2CHmgoZR0papMWiAlEg5CIULqLI0CFF+YCkCl1S5AcCX8AfRIKaIlT5AJKdscc7O+vHjD0e7N1THGkf3nvnenyP7z0zXnJ+fk4AAAB0gJMAAAAIAwAAEAYAACAMAAAGQxhJsr9GaZjo/GCPkktCyL8cdO/y4uJoxaf+x6OLixVxnInNIjCbwStyTV4F17LdvtjrErbHyueCkDs2X55/ctr1+DN/t6789QV9iVsaxyMbCx0n75wTxllI33KCUC5i8bl6gtoQhnyB20ga2/ZcXXQ2x8rsjoh3E0TJhqs4XPrr0/w9Zdz8ZrO++WU/SdbY+xPfO7VJGlrJLUiBhmdvi75ng1K/a1th5MFqJA07STvr9Ks4SW3s6dpqM6G2xmpiL4mCDc8LfrQlINf+bI7JhX1XcfOcpOG3Of/jYEsmq7xanXQC6rEhJd9Y3k5y+5k1wuAngJCHIocCkU8PVUYFYfSLMLi9ijnsZPwW/A2NMLqOmyU5bzUMfHAZoeR42Z4OcdQmd6pZ0DvTyZBtzukeKkqCAWHYiV3cZdjdJL8BZP2taa/t2t+QCKMg7j824uZ2PXLFbJVV+Tpj0pAcHvk1F8erjQijTHzLP59J/FlSQYVRYz+OX1YxunHsFfbSi3d0w2KyIUa79GfznHZt33bcU+3Ne2iqiaQt0pvvui3SlOgm+TyJ14gw8gGXVABlgqcLwmhStZTZa1oBGZWE2Z2m7Vib2BNlsnxBdzl+4e/D8faoiT+j0ryjOWti33bcmWCp3S4Uz5332ZRshN+ivG5FGKnh4nYFLUl/WpLZ82/eXj6lvyG1JLPEai9u3Xah6BoyaWEESVa1T5oaxnxJVKW+oiXpD2HIy3xpheH9brPk58rftG+vT7w+zJlJ3HlshlVQXbugkgxLfFGZsN8G42SrpCi41dVH6ldJ8j5K0SgyMavMiQ3C4GRlkTB07PXqbqVxR6mzx+9OWcyC5NmFxF8H4YHt8Zf5i+OjVVN/JmLjU8+ZadzseFMBcy7Ja6SCKo1xWlHQW5Pzpp3chW1FRfJZ27jFUS366Nz1dO3V2VKF4Lr3Dcd6Oy1t28XO5k0uMfO+WLJb1bO69BcGwYEqrmuvTkiblUrv6PIcVbw3tS+Sry7ufG4nfgJKPwl7M5VDS9KLAu99ofZiaanXWjXQRYUBdI90A5Cb/RJ1/jhhSBVV15WDS6RkQX/xFRRGEHTv89wxyqarPgKEseRooqLb9CfvMVDL50UiDHlzoypG1rUYIAyN347Hy/UMQum5GI83ukyYkNKE2Y98f9dFYnJ/cfyyyF9pS1Ij8A0BIu5UX/Aeto8/jIYYR28rDHEhLzVZOKjSTPSLrv2phJEvUw7gCWPduMlm8LNqdXEQhNHfnk8WKlW8vn9NyH3l/g7y/G+2LfmfMbIJnRV7dezlxzw28lujbAMACKOHqHtCFwBAGAAAACCMrM1Rlq3UvSWir+bt0PrO16I/ChLHsX47OoteyCr+EJbFAACE0YAwGCn4frTLX0t/elK0lKc+M8Pe5+Qi/RaEAYAwFrjCEMQxIqMrQQZiD37Z90UQ6+ogDACEseCEwdoSWdhU/z1M3pko/RnMzAoG+5z60SEIAwBhLDBhyK3FlEBmdyKqW5nlh4xyu9lWXxAGAMJYVA1D1h6kDVJqhaH+6Yz6cBUqDACEseCEUbQpTJCAqmHkVUXFk67QMAAQxpJoGCrSh6G8H7qJLy/BgjAAEMYSomgfRhm5LMrTlAAAwgAAAIQBAAAIAwCAnuM/scpALSeEzU4AAAAASUVORK5CYII=)
где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACkAAAAZCAYAAACsGgdbAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGFSURBVFjD7Ze7bcMwEIYvvT2AADM7WNenChQWXiAiXBlQERhuXKgIAlqdmiyQzmV28ATeIIA9QTKDEh71AIFYMqUwggoJuI6Pj//9d6QgSRIYegwecIT8V0j13VAMFlLKpYcAZwX5zYL1ti+IOI6mfAYHmPFDlKaTq0oSqA/syDdy3gdgIcyJhLGH3PA5Y/z90mCbCBH2KHaLtpZZB2xrDakHY7g3/dl2QwJVczJax3auNWSaRhPyBimhFQX40pup6OLRncCFnk+bx/G0CdgaMgfzj0spPe0VFNKJ76oD45nW/hNkmernp3u/hHXSQpSCeu2GjFhDVl7SUX9qWzCKcs1rdrGCNFtPnh720dSGBKKsO4TRbzPyt7PC0SYvBpUFRKfXjZaLVbvKxlObLFSKFwVWC0mDzJSUHgJgn6aiZgdw3MyzS/t1fmDIR37X143UGVJwvup6I/UCqYsKw9dBvyfJq6786BSSiiXA4CWSkfdwi2+umrxzJfPW8rvyxt+HEdJx/ABFJNfLRBKbcgAAAABJRU5ErkJggg==)
для каждого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACQAAAAUCAYAAADlep81AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFQSURBVEjH7ZaxrcIwEIaPHgYA4SHIrYCQCyYgSpsCIRoKFxQmXZq3A5RvBljgMQNMADO8hy/gCAXHZ/RASkGkKxLH9nf/f+cEsiyDJkWjYIKAzNWiaAxQjLAGwEOidff++WwkFmI0W7wa+F+TCcrA/AJONq8CY60K2WQV47gA68tdqlSHm+Nbm7Hqtkmet0Oy03M5EABnY/GxarENpdKO7MOuWBvgD+PVONgyypzqJEhqk61SSQ8BDrSZa95yOowI2I7ZOgwGmqD4knM94EBuypxcxV+qp5OugT1yCfrlF/LbZ1dZO0JuOVuv79ZbyQK55HzoMIzXT3Wk6caqukFAeZ62qfCqBefrFlc8HhFGIaV6NFbcO5T1dEu098lbnkF1UVGvSFLA1o7Xqe+Uj7Pr7Z8O6oAIxH44XUZXdfCHK763A9nzI6RjPr8fH6AmA10AXeH8vugYw3sAAAAASUVORK5CYII=)
. Если все числа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADcAAAAYCAYAAABeIWWlAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGeSURBVFjD7VcxTsMwFP3s5QBF9SGaz8yEIg+dkUiUCZQBVVk6ZGBws0VCPURHBk5AT9AbINETtGcAYreunMRFdYxwFCWSB0f2z3vf7z//QJZl0NXRWWI9uU6RK54LPloD0AJPacJYNESATRHsm/jTmWtitni0AT0ga5qwcRtOzgZPPVhCx4TQ1zjPB60gZ4Gn9mLqkxlgsFT17rIGbfCUJnkeD+gIVhjOJyJjALsi0BcfLmrQFk9dAuCtI8aGopgxZM4laYFHK4Hnp1tPBnVJzhZPaRIgLOWxA+DGNTlbPFrL3cuBfLi8DkzwyNqUxlMjNw9xAiO64pYrF/OiTdP4ktLwQe0Y/rqr0e03xcPXc+PRkuMSUB1I6F3IgWxlxuQ7dd3BxbZSNscsVoCdmlf3m+A5djBFLIr4UpXt2dkVmawcu5o9dk9vmsq4yf69bL134aQ8QRgsGv8VBEgWuo8fsvd5iviZ/aPx/sTHR1VRVUkakQsRWZSmV4nv37l2URWPUBSQnS7xZneOo07lNzxwTd90Ttn/iffkenL/P34Av1mDUJXNxpcAAAAASUVORK5CYII=)
делятся на
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpNjuAEypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEsh67iTWEYXBmJroaAACxUYVtzIdP9wAAAABJRU5ErkJggg==)
, то из <2> следует, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADEAAAAVCAYAAADvoQY8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAG8SURBVFjD7Ze9bsIwEMevO30AKtwn6EK8d6rSDLxAidhQhgplYcjQwWSL1DfoxnOUoTNvUAneIM/QNonrxLHPISEfEhJIt5zts3/nu78DhGEIl24XD9AYIvndmKzxxi3WohCMLcaUuqxq4pzCNtnwR7FfbvS4YGwsz09jWmB9qv700FosOt8GgXfrUPr+ANaXukaNq561FkQ2fv/84UXRSAcjseOzqezfuHSGgXF/Aj1xdnIs4Sf2as18Z0qAfKsx20MkgZ0X9ij7VjZZpxtTdzOrcwPioOp8OZ4Y4yDWHruRsyEwKAIQp5nDyk71i/lp2Zhi+jZdytnPkoTM7wQimwtwNG1gAdmrpcDLTi8vTCzK4PpttIaIIm/kTGCn1nRVL5jW5P5cHDKBOIi1IllYubaCqMpo0Sfl8aqbU5sau3HUfy4EP6CuRG0hsDW9QBizldQttf3lKWk1SXFeUqYG7qqcZGWRG/Dt9clS9dzU2P8HOmSAQXBXjgExJrudNXaxufZSc0MaHJPYylffIBK9SmwdCcZuo3kM/cEcDKIoBfOnQ513yPSyDwZxKptt1gwK0ZcZIa7/7K4Q3dgfUYi0dZIkAk0AAAAASUVORK5CYII=)
делится на
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpVluAkypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEMh57iDWEYXBmJroaAACuHYVs4rDX8wAAAABJRU5ErkJggg==)
, что противоречит рассматриваемому случаю. Итак, существует
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAZCAYAAAAxFw7TAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEnSURBVEjHY2hsbGSgJmYYNZABCBhBmCoG1tfHShozMNwFGvhf1i2nmCouBBlqxCB7yiOv3pA6BuZ5GMrKeqxM6+jgoYqBOW6yxQzGUQuRw5OUMEXhdHSk8XjIMOwxjm7wAbuUgeEN0LB/IExsmGJ6l8HoVGx9vSQ4goyj6ynyMsy71VkuRjCDKTIwyphhIcyLDAzGdwkZiC1ssSYXiNdlb+JLOmDfAC0GhTdWAxuijX0YZDz2gJILLHJAEVFensbr4RGdjKwJFCTGbnkpIIs9IuvtsBoI8i5yTMJcwMAg+xrZpWCLgTkJZjlVCodoY+N6XOFLsmHg5CTnPgtXTiLdQGC4gcKPauUhKGzRY5YsA0GRYRqdF+Fm7FaLr+AgyUBs6W60kmIAAIYC11FqSHI9AAAAAElFTkSuQmCC)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACcAAAAVCAYAAADFEfeTAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFgSURBVEjH7VYxjsIwEFx6eAAIP4LsFxByAQ84UNoUCNFQuLjCpMs3eAd8AH5wErzg7g2A18FRFJnYPgUpQkTaIsranp3ZWQfSNIW2RmuBBYFTT4eideCEiAcIcFbgrmyy2rQGnJRxPwJ24ms52i5wCozvkyzrlnNWE7Yh0E0z60yYI+x82CKAxCzgfNdUC9T2mPzCGQBeYiEGvhtqdgnkkB8SIXoukKYQW551QZYlXc5grxbc8sBzLGU/pGq55iMG8KeLe7JWiKTHh3DQxahzcLGdestKkpJMwXIoFlwm+l6OIwJvvpm+9QJHRlCbX6rVuEA9GPutY9vs7eplhyzRyVfOotcsbrbnPpfbCU67j5racVCRGyC/LT/MEKpRQwZu2XXVsI+dfArQd/1uYbxGUvZDg9ebidxx9qiwVJoG17pbpxGZXn59GUC5xfEYOtdeCq5w2z8G7ud/7gPuXcDdAVnglZC1+3++AAAAAElFTkSuQmCC)
такое, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpVluAkypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEMh57iDWEYXBmJroaAACuHYVs4rDX8wAAAABJRU5ErkJggg==)
не делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABQAAAAZCAYAAAAxFw7TAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEnSURBVEjHY2hsbGSgJmYYNZABCBhBmCoG1tfHShozMNwFGvhf1i2nmCouBBlqxCB7yiOv3pA6BuZ5GMrKeqxM6+jgoYqBOW6yxQzGUQuRw5OUMEXhdHSk8XjIMOwxjm7wAbuUgeEN0LB/IExsmGJ6l8HoVGx9vSQ4goyj6ynyMsy71VkuRjCDKTIwyphhIcyLDAzGdwkZiC1ssSYXiNdlb+JLOmDfAC0GhTdWAxuijX0YZDz2gJILLHJAEVFensbr4RGdjKwJFCTGbnkpIIs9IuvtsBoI8i5yTMJcwMAg+xrZpWCLgTkJZjlVCodoY+N6XOFLsmHg5CTnPgtXTiLdQGC4gcKPauUhKGzRY5YsA0GRYRqdF+Fm7FaLr+AgyUBs6W60kmIAAIYC11FqSHI9AAAAAElFTkSuQmCC)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHUAAAAZCAYAAAAPMmGdAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAANkSURBVGje7VlBTtwwFHX3cAAQnjsQ0y0rlHpB9x2iWYFmgVA2LLJAyMxuztAdu/YKHS5QTtBKzAmYM0DjJPY4HtuxHRMN1EhfaMLk+/u9///7NmA2m4FoH8siCJHUaJHUaNtBavnzidpWBtvEFjK+ED5DxRPMj/iBkMkeAuCpdP4K06vrtyapWg9lxGazZwjcl79fuKGz+6KY7qYovZ3O5zs+ALZ9wmeck8O7DJ2i7O7U1k9RTPYTkCwmhOz1xaLyUxT7vfFSO4ePdIPbQCoZo68V6BAvRPIo+L7Jx32WicGezefTHXwAHkpyV7Z7r2NAT30J5XHl+BAC+Fe3vj+p1DHEP32yPzSpjDhd5Vyl8Nqlqrp8VvGMvny32TuvrECEtolNHlV+vUmlQLEM7qs34vuydQVZbw6sxGqSLU/RhZzVpli7fNqCRo22bl2XUGHmgqPIQW9SWQuiWcwBaDTHtc1taKBsZdCmIOv30VLOWF2CCFWojbUCy6G9mqtULVEsBnEd/kySENdq9SJVdEYHANusDd1+ub4d4AcRhOo5BIsmMV5rs9M0nU8fa7R0aVqXVZuu6jpxAWApS4QXqSyAm8uTRNfXh2i/bFM6MHyGpC6fLlZXvJlU1um8BrkmVvldL1LbLdMcdJd+9Wm/XQTYgBqCVJ0O2qwvSpkrhsFIFXWia7Rebwy8uE6ftkHWSQFXJ5c3ibKNelQc12nFWVA+8661sdboDOPz9t/MpNIh7ugI/jDFqcMwWPutAm30hgFHN0M3i3F2Lr5E2zNK8wtKPh6T47cgdX0RUpPAqqaWBrDSJZPF9Pss+6zmBwB/syRuKpFrNf0sVo1pUKL+KJb0+/x4WBS78qRuwtB2UNJ1Eu2IzrKI3bTIehZi4LDJPGUb10yRXdOvYthiUsMJlM+fumOd6kjDMWuqU1xL/G4XhjZHmlaCyicEHzIyhEiIQ7fLuXAoqwBvABWOdRtTdt+bNx2GpmtHVaWSMT7eOKt7EWF56/LeSZVlSdXOR2D0x5VYHYZMcnTS0qpUJk+Kiva6xqJaMNTd79DG9azRXNPN0Rpc9MtpEldgaOPH+5rQ5ozWZ+LddlLlyVeeKUKYL4bBSaUb/Zzl33z/1RVtOAydszdUlf6vpA6BYQT7A1oEIZIa7T3YP83mebpFRNWeAAAAAElFTkSuQmCC)
то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAI0AAAAbCAYAAABBYQz7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAQnSURBVGje7Vm/TtwwGHd3eADQORvdienaCR2mgrFSj4gJxHBCWRgynKrAdkP7AkywlVcorB16T0AleAJ4BuC+JPYZn+3YiUlBePiBOC729+f3/Q06OTlBAQEuCEYICKQJCKQJCKR5J0ZF6IPqdyBNgBLHCdlCiNwmKf2CUTz5Ohp+pD10RZLjrXdNGogcBh8R6SuyXwsSinOM6cUGiU57vd4fmtA90k/3X2NGbOLH4kee7y4RkuQ2l+wQdD79/VAC39E0X4Xoco2kLNtdjlF8uZvnS20UB9mLc7Js2fQdG/18AO7axJs/Bnm6wjLMYR8fdZVpbHSd9+MUZOc8yw4W+6T//WA8XjCdZ31RPiDb7HD22Xh8sACGmZLnHsjjmMJv2hKGy5bSVYzwP50MXZIGdMP9w6NCJrLzE2y0EZFTX7q2JU1p+6kfMb0UyVF9/giy153nctGjKlqKZ6ONU1EAq8zg2YglceKJ6twuSZMQkoMMLPsWdyN0IwbbS5SZwkckOTPpavIjQJURG5GmdAa61ynt6hBIizKbxfpa95kJoLRKTllGsZbLsO0Dmsroqy9kz/IyU+mt80edHwFpn+zL2boRaQpHOJYfc5bBE/ksnjKFe3RptEm2EfWbq+UyDEatDH/HonV2Frl1yZxV9rlld6qCyEQW6D3KtgA92GSGmd7zctYFjjNpeM/So1e2jrMZR3UGZplClzFsnWFryDbEjyJ0DfcwG7k4XtTPZYiYkU0fxCpddX4sPsfosiLvY4nnvaYzabiQnupxmbX0pGEp1MUBKnnrmrk25akgPo4ngzRfER3iIjPPiIaJT2+/Mhvq5FX5ss6Puia4U9LoFKojDXNAXeTpnGtDmjbliT0vylc3uRnJJ0S+S3/DSzc8n2WL4nNNSGPyS6OehtdCRVSo5vpZf1LW6oTSPfb/uvIEjdjaGv5lchyLNu0k94LlSTX5FfZxCCrRHmwomJUJx96I91jTklL5x9zT4Pv14ShWli6HQcd2erpjxGERAcs5gvBfMcIqxvKaCH+LUa9rhNnIyPcbmF5ABMnd/Gi4HsNmFb5DB/nnJo1w67G+km02udjvm3gmHeTb/PnKWW32OeJYX1M1bmQ/gk2hJdBl98Z7GqlhqjDfMIlRqOsT5JFbrNPyXeL3WN01NeW2I3e7nsy+lOkdN29DX0vAOl0Tgs7mSrJhQm21Ebaqs2xXwHYCmm5clW1cFmeq/5leS/jQryQzvvCxetCd3wVpfJz3IqRRNXpymo9QdO3iANPmmUWwS4p1RZHGq9IUSOPpInGMZPXaNIaWjia/bY0E56veFNuc01a/ZxOXw7KxEWkcx/A3TRp5cmJvwH0J3+ZNcZfvnpqC9xotSdkZaV4zgIifkvSbPNoH/D+8CdLo9jIBgTQBgTQBgTQBARWeAB3xg/DOWmuoAAAAAElFTkSuQmCC)
где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADsAAAAZCAYAAACPQVaOAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHqSURBVFjD7VjBTsJAEB3v+AEQln+AjVdPZtkDXk1KwwnDwZBeMOnBmIVbv4ETHP0G+AL+wAS+QL9B7ayulrJbWlqVLD1MQsp2Zt7MezsDMJlM4FTsZICWYEuwx5QwwBmalWBdSkVPiCp+FqJXpQDrEOw7YcORVWAlOOqK+LMWkBX3RNMqsGOXdqg77myB9XiTEP40CIJKIWCVLtJqI3reZGnfN1FY2ZCREdDu/KA8tdQB2IQO3tDSaMOlMFPntUbdWSJVNfF0FA6CQYXXYYndlh0GeM2S586DaOV0NCraTPGMFIbWCrvt+71avBjZO6sc+n4t6zg4hMameEkUfri7ainQuTWLVYU6X6pLYF/CeWisi6ejMFqXwvzHL90kgdXlu500530VEB2jDqROCCz2OT9ohmriqW5zR1yaRs4nG8izafxIBoQFictgV/yOuMaqyCp+dQS/azfotEiwSfE8xm7isaLdV++Gxbn3/cE5525fnUOKU+bd6goWvxXXEZqsVcDfAGuKh7EYZY/xOYpSid64qnsA5EV1WBYk3K6A8IVuDqfuQtFg/2K9tBqsZEujPTVtV6mcoC4k2Azj6F/AhjpFvebajb9Hi0ELx2Ko46QlyIof5XgxXThDR3exWQlWN1fLv2VKsBbaB9U2Tyag4/kbAAAAAElFTkSuQmCC)
– целое число и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpVluAkypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEMh57iDWEYXBmJroaAACuHYVs4rDX8wAAAABJRU5ErkJggg==)
не делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAXCAYAAADUUxW8AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACzSURBVDjLY2hsbGQgFzOMah7SmoGAEYZJ0lxfHytpzMBwF6jxHwjLuuUUE605x022mME4aiGI3RBt7GMc3eBDvM15HoayDEanYuvrJcnyM8hGBhmPPWkdHTzIYYBXc7SHRzJMQ5Qxw0KQfzs60ng8ZBl2MzAY30V3DZwBViTDsMc4st4XZAtIM8zvIDl3OeNZODVDQ/kOLJSBNt2BKSaoGR8eoprBgQcKB1mP3bDYGMJZEgCYdfSZV24lBAAAAABJRU5ErkJggg==)
. Теперь к группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAZCAYAAAB+Sg0DAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIcSURBVFjD7Vc7bsJAEJ304QAgljvAkjZV5GxB+oBFFUQRITcULqLI0HGGdHTJFQIXCCdIpHACOAPEA15nsT32LqYABNII2R7PzpvfG8NwOIRzkrMCcwF0FoD835WUkwaEAFocxv7/aitsIRyvOrB5g9uDhskhrtsu1aA2aXteMY+zntcuZtlJfrHJH3wQa+Ctsbw3GnWvRRmmPrAlAtN1AgMAwH/zggl9c0SVAfuhfCAcgHVSFjBCvHL/1h2Nrg8V0f1B1WZJdhMUYalmJgaI257uwViyzOr1qb6M3jMB1bNYP8nPuJJhSaVnh82itoIKWKnnhPeYmGhnn8gSxHqkLKa6RjV6Z06Vm4wwFWmdgHGAebQ1Ygr7GCcdTgEkyzupJE0ARd/PDYjiqCxAsiKyKIDqrUxAsokpJ1y3W7C49aqW438/wAoN20I8yedZJedYvFOvs/e0AG6DAity4qaVnFIGi40jrluS0Udi5MC+1AYPMhDyC16r0aKGAtpDsKi7OY+Jj67rFhCgqvvyfFfjltNBHdH0bo2HQpxA5YaAskuMUX6h1qPo2JYRl1lRz1L1JBemDSitsW00wQJjIXehA4nA41nSEZtzjxwoKYSdG1B4TUQTAVeg8m0CKm0joXonF6CwfoM+ozaCXSf4p+4KhPaxfw62nOoT5+4mfqhdDfvDdKM/yg88DNKN7TxG6eGkAVG8c/kEvwA6UvkDXtVajvmoirIAAAAASUVORK5CYII=)
применима индукция. По индукции в группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAZCAYAAAB+Sg0DAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAICSURBVFjD7VexbsIwEHV3+gFUuP9ATNdOVeqBD2iJmIoYKpSFIUNVGbZ8Qze29hvKF/AHlcoXwDekzQFOjeNLbIIqQCCdUMzlfO/u3t1BxuMxOSU5KTBnQCcBKP1cSDlqQACgw8gk/U7WQhc8FM1RwNosGLVdLhGiW/eI99kVol7FWRs7xkNwOgXxQ1hnIs/iuF/jDTJNgS0BmK0Ta1tsXhVMBirkTUroF+YDCsaUBYgQu75/68dx7T8zYwblzUx2DYpkqWYmB4gFwvZiKFnqD4YYL/UzF1ADnw5NfuaVHEuqODt0ptvaVECi3pOdNfjUOvtIlkiOIw5Gq3BHRhiLtE3AGCFznRo5hV2Mow4XAJLlbSpJF0D6+5UBYTOqDJCsiLIRgHGrFJAkMeYEOOAz/1Utxz8+kAQMB5w/yd/LSi70Wa/Vou9FAVwHhSRoxy0qOaUMFitHouhKRt9EcD0D8KxGC2sKYA/Agu7qPso/+lF0CQBV3ZfnO4/5YQ90+KO4dW4K+QEqNwQQ9q2+qM8XbD3S27aMuMyKepeqlw32ggZl1badOtjGWDa7wAEj8HyWbCRgTKANpWBgVwaUPSPRLFtVUMIjGwnGnUqAsvrd8AzbCHZdgcA+8Gdvy6n94NzexPe1qwE/XDf6g/yDB0G6CcIHfTwcNSBs7pz/gp8BHaj8AjuzWs/lVx0bAAAAAElFTkSuQmCC)
существует подгруппа порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAAYCAYAAAAYl8YPAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAESSURBVEjHY2hsbGSgFmYYnoZ1dKTxuBm71aZ1dPBQbBgQMIIwVVwWZcywkEHGYw9VXNYQbexjHN3gQxWXRRsb18fW10tSbFh9fayksXF0PVGxiRy4MDZyYIO8COT/k3XLKcZrWH2eh6EsA8NroOL/xpH1vuCABmpkYDC+i+wtotMZyBtGDLKn5OQYboACGZSmPGQY9iC7hGjDwN6QNT4ZmVevCkugZBsG8hpytEO8LnvTI6/ekCTDIF402g0LH1DAg8PNOHoByXkT7ApZj5Vp5eW8cIMYjO/gC3ychuW4yRZDYg+KCbgIp2HggJaVXYkvbIgyDOSl6iwXI5gXKTIs2phhAdxrsh67YaXBCC+2aWoYAGw2kRDaBsxvAAAAAElFTkSuQmCC)
для каждого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFAAAAAVCAYAAADRhGlyAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIESURBVFjD7Vg9bsIwFH7d4QBImK0HIN6ZqmBVsFZKIqZWDFWVhSFDB8MWqeICbIycIZyAM8AJ6BlKY4eAcf4IJCmojvSGJ73Y731+3/csw2QyAWWXmwLhHgD0vwdmeWLPjb9JAItM3nGGddKEJTTJcui6tbRYSgcNDLD29//xbYcN2r87AD90NALA6wGljWsXFwDZZQHousNat4Vn4b5BHj6I1rj37ynMwcgAkBqkQ2zaFgHlnYvN+d0AmKU9oj7Jdi2AcWZimFcBoFxDlh8LoEi3ONrwYgJtireUQi8BMOzAsiks101t0kYAW1/GNkxOZD+1A2UdqpLCkcJY4ogs8nbtpSBqgFbEIq9sT5sajxponmWTZ9HPBJAnjc3pLVDYxGgqamKZNrZwD5C2wph8sRy5r2kebnVnBz8h/0ihSP8YJepRRRRm8VVO36A29B0eWOAfKcv8pHxONQehRRmnngdAauA+O8Swsz/fnzRi0E5Z4Mlau9fEjegn0TcyRHjgQH8pEkQGAj9RBqDj1NOmHwOP3xlP7NgJeaflOdNU1lqZrtz32WXr+I3hElnzRAcyqHjFhNtTHW3Dw5Gn2/7inCgNcnzAGPAAEY8Vm+UnTVNZtmS6htLFYuQ1//wxgZ2kfIEuMr7o/2/qNebQnWd2fN74ov9Xz1nqPVABqABUpgAs3H4BRypk6WhNUzUAAAAASUVORK5CYII=)
Эта подгруппа будет искомой для группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADlSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAaUh9p7AvU9J9B1mM3suKGaGMfkLisW04xXpfAFBpHN/hgsyDHTbYYXQ7VBXkehrIMDG9AzsblzTw34xSPvHpDnIZAwsD4bmx9vSS+AEYPZDijoyONx0OGYQ+DjMce5HCAi4PCCI6N7yBbhPBKfaykMQPDXVxewRWoJBkCClCcXsUME9k36AEH9xIOC1BjB+KaO2Aby8ulYIFYneViBIo1XNGONRoxUioIoyW8IZqL6WYIAGDsxF7fD3CIAAAAAElFTkSuQmCC)
.
Рассмотрим разложение группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADeSURBVDjLY2hsbGSgFDMMHUOAgBGGSTYEpCnKmGEhkP4Hx8ZRC8vL03jdjN1q0zo6ePAa0hBt7APU9J9BxmMPsmKYuKxbTjFel8AUGkc3+GCzIMdNthhdDkVBfZ6HoSwDwxuQs3F5M8/NOMUjr94QpyGQMDC+G1tfL4kvgNEDGc7o6Ejj8ZBh2IMeDnBxUBjBsfEdZIsQXqmPlTRmYLiLyyu4ApUkQ0ABitOrmGEi+wY94OBewmEBauxAXHMHbGN5uRQsEKuzXIxAsYYr2rFGI0ZKBWG0AB+iuZhuhgAAaEvEYAlBwx8AAAAASUVORK5CYII=)
на двойные смежные классы по подгруппам
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC6SURBVDjLY2hsbGSgBDPQzAAgYMSGiTKgIdrYB6j4HxD/h+J/EGx8N7a+XpIoF9TneRjKMjC8MY5u8AHxOzrSeDxkGPYwyHjsSevo4CFoAMQVqDbmuMkWo4vhNCDKmGEhg3HUQgwxYlxQXx8raczAcBfkfFjgQWxn+AfzEjGBiBR44AC8gx6AOA3A5lSi0wHM+bJuOcVkJSRI9Mne9MirNyTZAFBgYQt9ogyAJpzX8EAjNwwGT24kFgMAGgV85DE977EAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAARCAYAAAA/mJfHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADJSURBVDjLY2hsbGSgFmagi2FAwAjDxIjjNCzKmGEhUPF/KP4n65ZTjE+coMty3GSLGRhk33jk1RsSI47XMLArjKMWEiuO07D6+lhJYwaGu8bRDT7EiOM1rCHa2IeBwfhubHm5FHKAw8Xr6yWJNgwpoP+h4f+4vIjVsI6ONB4PGYY96DFFyItYDavP8zCUZZC9iR5bEC9ij0WchoGjXsZjT1pHBw8x4jgNKy+PlQJ5Bd2LuMRxGgZJjEiBDQ1odHF8BjIMvVKDHAwAHJvDHhGGI9oAAAAASUVORK5CYII=)
:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAPEAAAAYCAYAAAArgBtDAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAR3SURBVHja7VpBTuMwFPXsYT8gwh2o2XZWVchIcACoWIG6qFAWA1IWCAV2XcxcgBXsmCsMXGCOMFI5AZyhnTixU8exHSdxmrT9Iz1BPW3s9+z//P+n6OHhAQEAgNUFiAAAQBADAAAIYgAA0FwQR/++MDS6EG4eW3OqnrMMTk3w6QKvpR/QNT4XjQcxmeQMo+fo5ywFPnsOgtG2i9270WSyZWsR90N8TOeYZ+ZD+P08DHeqPJOufc6e6bhX17pxm9DyCYLdOs8eYvQkW79qfJXRhI5Up5lCv1mT+oXh+Q5GaMrmwafhSWNBHJ7ik3gix3vlg5WKOm+EoO8dOAh94uH9MXk9mYy2vD30hva8t6qGceU61wg5n54fHpiMd51PF3gtG+tyLpIAxn/YpZTMVf2S0gYxC1QmmkwA1f/Vd90sqbpE41s3yh5Mx7vOpwu82rmNV+dckAw2XjMePmV4+P5X3nSSoHb+ygyDZAUkxkxTbqnr6Yj4Lr5UOZWqfjFZjEzAeIw6rq6G0aQu76LhqMbLmhTZKF1GYptPV3iVue26qGNV/Uzq3DQlNzCCONbw8Gdh2h89q+hcSOrIvMOZBGWufhahIZYKGNUI7PmJ26IZEXVRGy1SnXRMSPlzDh7VTvy6k1JB7eI2Dl8TfIp4yW6sVQ/iMjoOxre9jI6KdLuqfqrgJT0iz0GvbE0mn7sdD3qO4/0eBcG2cV+A8IneL4u99BdVrRGP00UuGid4aiOXF1N4oXmRmyPewMgM2E/DxpZoKHPdZ20cvib4dIHXsoO4mo7ZNLbEZTMvk0ozgylbQ/ue82MRS+YNOpolf8g+k1+UgohJU6tqOs2nRyZNjqJDxgxJfJ9JymR6iHWH1DafrvAqa8xd07GOfspgNEh3NZ83bhLzWYj4GeMgLmomVE2n2bwmZNgm8GLLBEw21fknOmRiRHrnjNezf/SoOzhkHUf7+FGmRV0+upquTV6VurEt62hTvzrpbhlD0dXaqvdKAnFRX+RS7QY6nyphVU21w0Pnha0jXZeseylxcNW4zLCIYNL6gzqiso6rwYc7vFPZprXJq2pK3ZaOyouohn6G6e6U1dsmpZHKeILgfJedgyJzkrnfVCz840Kc+1udLaRfKKEpSVHbnmx4LBZtCpDNG/h+n3dzSj7n4KrxwhSfumvaxNCYmQ0+/b57R7iQveih3quMF//ssrxiV6/Ai5+z6LXRfKTP0qCOg/H4m+cNLyQ63Sj0u1GZTZlUOY0hCbdMgzVe7/cXmXEkN69538m8+C/omlZ3Lv3zWR2QuX1po41sHp+Spe8VUnhx3PTAc98YonA+VDeDLT7ZfXB+kfna5JWuj/Ipem1dR8UNydekoo77/f5j/KdSeoup9OOaTFL9TLiVTrsLeFW6DG2nx8uGzTquaxh63oVN49wkMAPcBK4QxB0Fce4mvhm3CTBpqkEQQxA3HsBF9SBAX6ph17/cFP3WIG2i9bvlmr0tiPUb3MblIdbLEMQAAACCGAAAQBADAAAIYgBgPfEfv1JRWOdh6MQAAAAASUVORK5CYII=)
Зададим отображение
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANUAAAAZCAYAAACmamtMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAASoSURBVHja7Vq9TtxAEN708AAg9rqk5/bqVMgYBcpEOk500RUIXREiuUCRobsmDxAq6OAZoEyTPEEiwRPAM0C8tte3XvZnds/4fNEUoxPGZ38zO9/MNwPk7OyMoKGhNWcYBDQ0JNUSB5uQN9wwFkgqtAZsOh2vxJTcEMLuD9J0DWOCpEJriFjbPXaOpEJSoZxaIlJ1PSYCn2pd8M2EyRfr0hIqTQ/WGCF3mZPPNDo67nritEGqLseE2+mI7WbYnji+8rO0TBInyfqifRsxciHjE+8xXf8vO1Uxp9DreJJudm92kpKGxjfj6XSljU7VxZjUyDGJNykhj2x0ulvh3SC3ZCO+5TFatG9HET0mhD6q7zBd9yKVrv118oBofO06jK5YkoxXc1I5qvKyxCRExhXdqr6sKRLWvcDx9S0E3z4jl4TtX0Kvg0l1crjVz6rJA29zcssW1QVCxBBdrXPcFgx+GKIVm+7bZ/Q7pLrkB8b2v4dqe8ihVTKi7FyLikkTSVh2nAdFxt25iKFLzvwaoFP5+BaCr5SY92qem66DSVVWjfzlcmVwVRNBPpfeTIdsr+5oqVMp/Vn8PGuxFaE1SSgOgzvKO0AuITTEh5JKPTT3XADH6ST0a8WklKGQZDBi0MQjxxDga5Wcw3RPkKLIKxhGqG+h+KoumikJubDouiuYVOqXucMCdMF8+ncePVs8X02Quk7Ng5xVsuJzdGE7oD7p3wzTyVuhs3Wk8CGVODjIIAzF2cWYhGCQ55qIRd/GSbLqK6/KgvDs291k3z6eHL7bofTK5Ns8+PKOWS8sswIDlH41UomBUYBUh2pftmqHTOn5pmeKQRaUCJmjgjSmIZb/fuvwpO+SV8KS5GBdVFPIwD3PJmpRMQnBoHYbffLZCQKVefP4Jm0JvfDp4hAi/WqkUjuROmNAK7jr8HhgiuQtJZtSecV9Lic4nsFg8KPWSTVDrKX62OzZJUmgOEGbwpZjEoKhlmS97fNQ6ReaQ1DfgvEZlJita3uTSpZ+ZeXKWV6115DZoay4VfJqDm4Ssc+DAb1S26383kIK0N80HqWuechX/vElTY/0/ri+A8HZ1ZiEYFDX2rz7N5G0UEJCfeP4uDz0xZdLa00XNV2HkUq0zezg5NWvvLhwbV1cmrWqIpne1X2Xk5cHqqpC2X08ofhByO9Vq5QIenQ0/BBFk0+hpCoOnv2ySRgfnOAK3lJMTNhsGCwD/Z060NvyQmz9XLHRPcfnvEPwCcmfxfmrfI/punMTbFhDVsPky8Ffr4td2z950yPuUzdAokLKf0AVz5Pfq1apGe6XmtlrpU53rmwVyRcnZIXdVkxMMbJhgG1B7TPLi9W2ZStnwjiJ6Rfoefvi48+u3VOqAfW6Lq+NMbWtLk1gQ+YIdSabJQ1sqxL63rbNB2fbMeFESYfxe7nIzIuhadNh7LLp8BpXl6YKMGIs9d0AWvf/wHV0yHsXYVCcbcdkJu9nz24CQ5MmjyDLQCgTXsPq0rL5YbNh0S/Zqn9KfIIMxE29t/Uge+DsQkzmwYDmWFTAO477vyZeQ1It4r1dxrksMUFSoaGhIanQ0JBUaGhIKjQ0NB/7B/nLmi431wmpAAAAAElFTkSuQmCC)
переводящее элементы двойного смежного класса
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAAYCAYAAACIhL/AAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGpSURBVFjD7VZBboMwENze0wckih8ROW+wfEgf0CDUS8Up4pKDT5HDjWc0t/YNyUcqNS9o3kCKjQ3EtQ0iQqUSSCvEwu6Od3awIUkSGLINGtwIsFeA+fVgs7uKOfL48lsT7QO8yj/OcruquzJ8DjmfdgG3xnBQ+WRORDZbn7+xgzymCwRwwcF+JZ7TNJrQOZxgTk9Rmk66gNwQtAVAFxrzRRu/F2DRxduOFYnu7CJeH9r6vQBtQdKnOuibJSsjPJxigLNmpMnvBVgP0kWL7kEmfNWMVrSUPkSPthEoGWFsVhcFf8ZPPlZ8IjEF8mUmkaDzLhf34K2lSDLDri56nQDrVPqKaiGZyjNNC8z8roleK0Ad1FS0XthXoFoI+jRVWjBlV68boCOZzWKCX5dL9G5SJIATTHaaATkCFkZcfidAMbRavb5dQ7wTqxddlgtC9CNi7FEA1gvT8YyFMxsjLr8ToJqn73J4HWrUataikDQjOP7aHfLOvBC0uxGEiilzKPOB7GWDF91tmss/Pc0EGPOuu03vAOVfAAd8sOdBvaO0+U2NJ+oR4H8A+AOpylEVY5BZOQAAAABJRU5ErkJggg==)
в элементы произведения подгрупп
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFMAAAAcCAYAAAAdvIO5AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAImSURBVGje7Vg9bsIwFHZ3egAk3DtQc4bUAxcgEVvFhFgYmCrDlqUX6MZW7sAJeoNKcIJyBmhM4jQE/8VxDEqN9IQUcL7P3/P73kvAarUCPuyEF8GL6cX0Yvq4gZjJ56H1Yin2WBsgjicd3ANbANB+TEi3bQKGCKwBCtfLCA2TPe5ke7QCSAV9eUIfbRSTRoQhgSh8d1LmKjFpefDiHspWh9csQK94RvrF/QYoeJvEcaeWmDxQmZhpeYBjEqcsjmnc1hZ0eREy7mIINyhaDq2dzD9vZKBJ9PCWZkd1MskM9yEAB0Yov1e2/laCqnilvz9/jciojwDYwWA6z32Uw91JmWfmfZHxaQDn93E6q/Oi63gnVVjGVUaCc6YKJ1XUEa+uZf83wVT5ns56FS9hQ0KI8MQW+Ag8MMPNrxmWJPWcpET2NJNsk2n2wZFeq4OZJ1EUJaGq8JKuQxHR9szzTRMi7NuC0Z8uN3o9r9nEtMlL1LiYfyrFZMbMW2A09GqcalNM0zLX5VX7cZJ1NZ1xQKfEdQQywTQt8yq8aotJh9TBAH6WyYiGVflpg9/FgVcUPMyqeNVGIj1exmLS0qCeQDN2BoR4M1ksHstPALrlx+uWvP/ZwrTJq5aYrJMxkOKQrhpWBf73Ux7uuY1Ogmnb13R5OXkFJxpWm+y4LvGciikaVht7W+MYz5mYsmG1kedmx3hOxZQNq02+1XGF57zMfXgxvZhezH8ev63ZJe+/FrqWAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAARCAYAAAA/mJfHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADNSURBVDjLY2hsbGSgFmagi2FAwAjDxIjjNCzKmGEhUPF/KP4n65ZTjE+coMty3GSLGRhk33jk1RsSI47XMLArjKMWEiuO07D6+lhJYwaGu8bRDT7EiOM1rCHa2IeBwfhubHm5FHKA10ca+4LF6+sliTYMKaD/oeH/uLyI1bCOjjQeDxmGPegxRciLWA2rz/MwlGWQvYkeWxCvY49FnIaBo17GY09aRwcPMeI4DSsvj5UCeQXdi7jEcRoGSYxIgQ0NaHRxfAYyDL1SgxwMABbwwxxpzlc8AAAAAElFTkSuQmCC)
. Легко проверить, что отоюражение
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAYCAYAAAAcYhYyAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEQSURBVDjLY2hsbGSgFDOMGjIUDQECRmQ2Mp8oQ6qzXIxkGRhey7rlFDdEG/sADfgHxP+Noxt8iDIkx022mIHB+E5sfb1kfZ6Hoaysx8q0jg4eqPhdkDheQyC2IhSCNMJsBxvIIHvTI6/eEKchHR1pPB4yDHtAXoDx3eWMZ8EMRLcAqyHoNoH5xlG9MPkoY4aFMAuINgTZK1BXgMMJ5EI3Y7daUDhhGlIfK2nMwHCHwThqYXl5Gi/YK+XlUsgBjS36MQIW4hqG16DohEbrP3QvgLzFIOOxB6tL0BXiShMgr6HLYSgCecuIwWg3tlgA4Whj43p0Oaw2MRhHL8BmADjcjKPrKcqAsCyAHk6jhRImBgD3QE7R31hBTAAAAABJRU5ErkJggg==)
взаимно однозначно, поэтому, получаем
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAREAAAA0CAYAAACtggy/AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAdZSURBVHja7V2xbtxGEF33zgfYEK9zemmdMqmME4VYZYKcDkKKGCoMgUUU4ArHotWpcH5AVdTZvxC5TWF9gQNIXyB/gxQueUvtUVxyuRzukrxXPAim7/a4w5nHmeFbLjs5OWEAAAC2gBEAAACJAAAAEgEAACQCAABIBABMnIaxR7ADrhFIBGiEOWd/M753/m7OXzLGr/bj+Ans0k+k1ygILw5OTx+DRIB+EUkYxAHf+wu26C5zKP61QRzvP5lOo59dZSO4gIAxoil/FUbxpvz36enB4ymfvnV1xxt15pBkd7PD6Y8B27r86c3rb8OAXfD5u5dWJDILf3j+PPiQkMgtn8W7IBHA2Z2wDOrdLQyCj0WnpLzblf1u1fHRZXlB+HGbT842Njb+Defhb3wavbIrPYP3382jX+Io3HSROSKARg4R/JzP4/o7IbtNcLf8uwS/3l8snqbOyPjnWTzb5IxdBdPDI/G9Pc7O2Ub4qSwTUX/X5BzSnotyDvI3dMebzG8I12gn2Hk/i6Nn4Qb7JDKQw2lwZJOJyFJGXteivUAiQCckkn4uJQr2VTquKFWEQ+tIQjqpztGbkoiACBzGgq9qyVR1fCwkIoNdZg7C9tsTfiYIvHkpM9sU31ss9p9yxv9x0QBHoIFE1Lr8WnW6LHhXj61mDzzW/Z8NiaSZDd87Nz0+FhJJ7Hgs7ChJOZ1TkvHp5mxwM7hJSPemjHRBIkBnJFIWqKblCgWJLAPnupjZ6I4PiUSK/Zw2/R3KsUAiABmJ5IE6i3elU2ZZCLvVBa/so+hq7qYkkmdCSSquNlLLMqQhkch9ZsDuhH1TYlb6Tb7GAon05O4yFhJZEkKxqdpKUNaURO4D4gHuqtL6IWQi4hy3WHA5mbAvgpRlv8mm6Uk5FkjEA2TKPyTVpnEAVzRQuyYRXSDUlTJDIZFMQco/z6L4WdV8XY8FEvGEoak2jXoXSaBSO2ETEsnS9OC/YiMwI+vypzJDIhFB0ioR6uZrO9aETb64aqKCRAhQVG0OnkRaODQViaT9l5JMSHd8UD2RtPzYulCz1qqnTa7G8kYidapG297CUFSK4tl7qtpU7gRV0u8+zK0qyMTvSyekPhdTEsn0DGkm9Id6DurxtuWaVxIRJB2EHw8Wi29ye1uWwpRjkZNIa1Wj5SSWzbS7ohpRd9zWcSgcTafalMH4oOzJlJZ3GgWmdm7UgaEbS+n0Z9eReNWnCYnIJ0A5lnfU4vGqUqvvJKKbo++xvJCI4niNVI1mhulWpdilo1U1JW3m5opEXGZAXZ5Dn0kkjY8kc6UoFSnH8koiNqpGoyDsWKXYpaNVSb9t5gYSGQ+JvHn9YkuWH5Rl0aBJpE7VWFX/ax2AQKWo69XI3zWdn40aUCf9tp2bzfxAImZjt7FjUygLB2/bPj6nHMsridSpGu97Jvdpen5MU2/rVIrxjO+aqhQrREp53Wg0P1UNmMxnRQ1ooZa0VWAWx11xIM38QCLz40aBaGFHgK6xWqtqTIkluSDyb21m82BMepWicc+noRqwSvptO7chNAsBwIpETFWNsvlaJ16iVClSlTOZGnDrsq0asM3cKMqZqs+vCyjKGdjRrMwzIpEmqkYZQLWBQqRSpCpn5FgUysI2c6MoZyo/vyagKGdgxxSPaEikQTAJRWf6fsfCRSmKslyqFE17PlRqwDZzQzkDjK6cMVU1yqZh/oam5eMoVSYuv6+oEVcyG91xJyRCpAZU56BRYB5RnC8AeCGMsiewVU5rqmrMlXTLu3YmjGEXD1SoyV3412nw1rVK0eTzFGpACgVmX0kEG1bBlvd8sPr+EmdOWyXKajwZYhLpmxqwLySCDatgyzICFFtSqLHizGmr3sfpm0QolYVjIpH0umHDKthS9cuSd786cVrq8SlJZOXpjsOtB/tAIiaP9XxsWDW0/WdMH4+W2TLk4Z9Dt6UTp617H6fvTKSXjN/ifCn2mhGfKXv1Qdc1ve3+M11d57oxTewox9kJgg9dbv5FZcumdkSaOUJQrMqOohffN92wigp9WP3cZMxSO4oHC0s76V4jkQazG1veaGx5Q7FKHkG3xiRisyq7SYPcdpFbH1Y/N8/qmq9u76stQSJAZ3vNZHdPswa5kubnkIs3a8+daPWzK1va2LHPtgSJAJ3tNdOInApN6jzFr9HfUK1+dmVLGzuq49YRQZ0tq75fY8srqr18EHRrSiI2e82YNMhFALX5f9v9Z3yRSFmWYKIDobBlFAa/d2FLkAjgd6+ZyfZZ1Zj5ZtUlQUa9+tmFLbtqNPu0JUgE8LbXjFw7Vfc5cYctc2LK1c8ubNmVHR3Y8oZyLx8E3TqSSEd7zegc2jRA+rj6uZJEOrKjb1uCRABve820cXyT/WeMnkY4IpEu7ejbliARwNteM7aO3+fVz2VjPrBjBz0R0TS1saX4Xpkti8cpV8kj6NawnMG8YUvKOSPo4ASYN2wJEgHg+CARkAgAx6ea93HfxxybHRF0AAC0AowAAABIBAAAf/gf5dg671ftjFIAAAAASUVORK5CYII=)
где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEMAAAAYCAYAAAChg0BHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHlSURBVFjD7ZixbsIwEIavO30AEGbrAxDTtVMVeaBr1RBlZahQFoYMHQxbFh6CrTwDPAFP0ErlCegzQG2HCGJiEmKHShCkG3II3+W7++8sYDweQ2WRVRBMwWCfuwoGs5GLu9Aki34Y1m4eBqVe3bb912vqjuIwHPLU6aBPBmOD3VG39EQZ9Njy+C8Ko4fR5NH136hP2gj3JjpJ8C7D2KXqWDBlL7vd2QbZg+Ep/zlna8OIJRLPjrQkTMLgNrDREAD9Ep+28/gvB8Nx2l4QNILAa1hgzT1K62XDEF2Ae9O8fmMwZA3Kz0IaAGtWkbWqIipdy5YnYfE9wEqeTSq/MRj7F4UtD7LT5QYAr4p0wP73CmNVzUpYrHEen3XjIUjq4JesvLQ7gx9gAVq2WvDFgYRhv0aasNCdDQYGqAxze0oiRmCISiBr6fj0gT/rwtCRiSp2HokYgcErcRgkkg76zjMfTMtEFTuSjnqLmJkZQiLJDZE1scuUiVidKdd+ld/8AEVk1g+Ce97GUWXxj+76LJIwX91cCrJEVP5zzk69zaZfbpJtXPZVOy1hVR6yPwtI2tliDiGYAyLzw846HlYIzYrMhrIvXZc4O/Hw8f5sxRK5aRiJqS+1z012xn9ZBeOa/typYFy5/QEmqBCHGb4tcwAAAABJRU5ErkJggg==)
Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADkAAAAXCAYAAACxvufDAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHkSURBVFjD7VcxbsIwFP3duQAIcwf0525VyAAHCFa2igllYchUGbYsvQATjD0DXKBHqAQnKGdoGztx5BrbiSCoIg3SF+Entv777/3nAKvVCpoejQfYgmxB/heQ6eeBh7xuJEiKsAGcbpcUxwB4CBnrNlKu1CeM4PT1buUq5aiH+kzk4bMfsaH8nSSzjofeyyxJOjcp1lKLq0YryEyC8JXGd/6dBx7DOO7xZ+I47PmEvCFdjk1zeosQI5LVJOoi3nzhypcyySJ/SABOEgRnye/DHvr+PoqeHgnge8CCIQIc5KZThC2/fysmecw9sgAgJ1VBrrwTZG4oR9VQso1+5/Q1KrOXSK8sRCNTw6uad4I0LSpjiiKyMpflgJRxKII3pwwsY2E3Vc5Rb6Qt7wRZLArYRHY6YzErxroGKavEBPF3aqPEKBDY2Zg4U1fqC6oKWIATl8JcxqObjvMslOzoQ6/PzTX3RYPO6soN0tEg+2Y1G4hgejBau/bkjI4GuDY1Uxqf3oQyqRpBykWujl4SnOkqe3I2TQVnbk8+dPfMFGR2VTtIy2Z1WH8V57U1Q3iCQV22vBUkH2LpqnUf6teA5C8eUl1qXWq+0mtdfvh/FsOsOeBfgZSuXgTSjSnvAtr+n2xB3lH8ABSHU+q2pCl4AAAAAElFTkSuQmCC)
есть подгруппа в
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAARCAYAAAA/mJfHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADUSURBVDjLY2hsbGSgFmaguWFAwIiMCYnjNSzamGEBUPF/KP4n65ZTjE+coDdz3GSLGRhk33jk1RsSI47XsChjhoUMxlELiRXHaVh9faykMQPDXePoBh9ixPEa1hBt7MPAYHw3trxcCjnA6yONfcHi9fWSRBsG9go0kNHwf1xexGpYR0caj4cMwx70mCLkRayG1ed5GMoyyN5Ejy2I17HHIk7DwFEv47EnraODhxhxnIaVl8dKgbwC8iJyCkcWJyo7QRIjUmAbRy/AJo7PQIahVWqQiwHEL76W/D4v4QAAAABJRU5ErkJggg==)
, то по теореме Лагранжа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEQAAAAbCAYAAADFyymQAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHdSURBVFjD7ZYxbsIwFIZfdy4AwtyBvrlbFTJwAYjYKiaUhSFTZdiy9AJsjL0DJ+gNKsEJyhmgOIlTY9nGyA6tipH+gRfHcb73v/cCy+USgn4UIAQgAUgA8ieBnH4Pdw9kjLAGHK8XCQ4BcDuhtH33DkliQgmO3+6iZFgZqCSuSSN8iVPa5//zfNqKMHqd5nmr0RfRnEcXNwKhdNJGTKhpYVkGcDjpWOlQCne8NNg+MSHvmCyGt8xqUarCuUg0m5viXKr3tgZSrEvjPgHY8xdm2Y+7sIFuvEnT5ycCjx8jOuojwPbsUKfrTTtkFpE5ANmL7jTFvQCpmuVObJblA89j8j22jjGVom1Dt417AaLa/JIDEkRqM22EkqxlC7I4P8BOXq+LewEibs4zWLpDf/CrQEtQ63LUZFfp3CzriA5TOdobkCqDx/Msmr81eNblZibXuMt1qXkeJB1NQJ2ANNEci+f2BivTnswpgx6udOC5k5QTxFAuTkD45pcyda2Yg2z2ZC7RlmUx+cinPEVKd6qnizsQzUN9jEqbxmkCV/QxhXN1cWcgrDmZRtdvAsmySUflXF3cGUj1IfZVNynPPcQFCJ9wtaqEyXETFOfvkP+mACQACUD8AAkKQAIQW30D35NzWZqYeH4AAAAASUVORK5CYII=)
делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABUAAAAYCAYAAAAVibZIAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEqSURBVEjHY2hsbGSgNmYY/oY2RBv7MMh47Enr6OChmqH19bGSbm55YQwMDIzUMzTSw87ERHYF0NB/xtENPlQxNMpYttc0Oi+iPs/DUNY4qpdiQ2Feh4WtrFtOMeWGRkYaxpaXS5WXx0oZMRjtjq2vlyRoKCjwkSMAnQ/2MgPDawYG2dceefWGBCMKoYHhPygCoowZFoIig4HB+C66i0hKp6AwM2KQPSUry3ATZHBHRxqPhwzDHvSwI8lQcMKWNToVmVevCuJTxVCQl5HTHiRIZG9iCz+iDIV4HTVGweFqHLWQ7LwPdpWsx8q08nJeUIxDIsr4DrGRhNXQHDfZYkhsQzEJLsRqKDhCZGVXEht2RBlaneViBPY6luKMLEMRiRyIcZSTo9XJwBkKADgS3Svbd7/tAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAF0AAAAbCAYAAAAecIOyAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAK+SURBVGje7Zg9UhsxFIAfPTkADKLjAF6RMlSMUEHNsN5xl3GRYdRQbJHJCHduuAAdXThDOAE3YAafAM5gZ7XrtWVF0j4tayfBKl5hWSO9971fLYxGI4iyWYkQIvQIPUqEHqH/OwYA7GwN9JuMnsMBfxyOx7ubVrpP4R5o/77UAejLQMq9rYAu5WCPMXHxtyIt40QS2r/dqvIiU35yfEx+FtCnNLs577pk2ETfIxj9yoXs1b/H4+Euo+zHOjPPpYtrvXPofUpuP2fiUgres0VcRqk0015lB6WZbCxbhSMLmc1lWgmd1OepczghD107u7GkaToRdnXtW/fZ/K7SUkPCXISFXu5TjgR4q6GqKOYH8Kh6iBCnXwgkT6lMexTgZcX4NfeYK0auAcibnmG+9W6hp2lvkOf7eT7YTyD5ZUa0coQtCrHQ5w1yop9bGba6hrkTU75CGzh2PQi6qYz5ex6Jr4V3X23etZWWEOg2I5oi2XWnp3wtBOOsUneAibnXtR4EfQkUZuqgec2a+qIMCxYDXTeidnYV5W44Qc40HLcoXY5I/SP7igzXs8SWla0iXW1MgDwRAs/K0Foxs3aHpnlAI52tRqN/Fq+j16efctx7/tca5tSQmc9haOilEaRoVkIe6dGAge5Lcwz0dTTE8t7DszvfmcrGs0N6Z9PdZX9TaQmCrgzXD6pKDnm21e8QqKj/CyMwzg19PWPOVNFuHQAc9lcZZp9awmp6WVpWJxJfdzaV46k8aQ0d6dw2ox6mWbqcU/YUS/a51ts1UsIfhnn+STWKqpbhvm8Ixi58+3zQF3chnLtJ6GostmWfa70V9HpSWAgSAuYZ7nw0LSem6s6Oa3pb6C4W5roPfCP0smEUz+uu0zt0tPtI0gj9+7fTpCwta3pKR+gG9OUjqPv0jtA7+PYSof9H0KNE6BH6Nslv9SJPxYycp+YAAAAASUVORK5CYII=)
– целое число. Из <3> теперь получаем:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAWUAAAAxCAYAAAAC7bjuAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAmGSURBVHja7V2/ctQ4GDc9PABctB1U12SdK7mKWczBldzcZidzBUyKDLPFHTNb5MiSLgU8AFRQHbwCobgZ5gp4AphJniA8w+ZWtuVoFcmWLMlr2b/imyFesrG/36efP33/FB0eHkYQCAQCaYdACRAIBAJShkAgEAhIGQKBQEDKEEh48nwSP4g2ko+7R0dXoY+O40yS493Z7BpIGQJpscznO9dHo+lvURRdgT6AM0jZQmaz3WtJMnkEg4P+rBbrOPl5a4u8Wy7WRTye/wrb6Ka95Dj/0yacu7WQpskmiaLvqYInzx9g0UB/dWU7Ji9/mkx/T3USb7+EfSjt5Sxke5nE5AWPcxs85k4upmQ638Sigf5st7T03zTmSEZP/oJtdM9eZDiDlD0oOR7cfY3kDPRnt6Udb+7MZjdms50bcRR/2JnPr8M+5PayNUhehWovl3Be/hvhCw/bqXg0fYwFA/2VGv3SG+I9IvHni205OcOuq9pe2poMNcH5zt7+sDX33SUjeTIidPuxiOLtt1g00J+KSPI46DlN7GzH0dv0maP4tC2eUigyTcifbbUXEedJHL0JBWcYF6SX2+5hRL4QEn2jCaqjo92ryUb0EbHj7uEcR+TzYBB9LXAm0XFbYscgZQgkl6xhYPhlPJ3fpD+DlLuMc/z54d7+rQJnkDIE0j6hIQu+hCvb6pJviB93S2jIQsR5EA2+til+7JyU1/m2YUF7U4GxNq+7Nuk9C10Mj/mKijSu3OM8RBU+Ia61LHSxWlGRxpWXOLedB+y2BlF8Opkmv5BouRWcT2/SLWATReR5QupckIWGnNfdovowPNX3+DTsIpnXkO5EO3m4v3erKTuRLlbqFZPkPZ11QPWbJfrik76WveX4nIyfjO4X+Cy3+AyfIpnX4FrzgXOW6FviHEAy1257kJA5ffC78eD1xsbGf8kkedRUSVVmTLmR0MExFQNFsjdndCoaSno9nsw1/tbislHGp3UXc571L76P3Zfqusn9aupuYai7k7qLbJ12UvJSWqBSRw+fpu3FF86h7JSttgf3yL0XvIdMFdGkB7RKltWlLrI6XF2SYy3I7PlYcshmklhmOOS7GMtUXXdFyq50F4qdMMkSPeQ9Ysfm+DRlL65wvkfIu1BxtlrU9E3IesapIu4O4tdNbwP5ekQVkZURmi7JsW04/3wZeVp6yxJPrSzG6YqUZborS4DU/bttsRNxSwtCrsBHQro17OVg3aGLzpByVSdMuuWJ4zldWBRU+lZlWxaeTHRjo7bJguJvaxhLXbKREWV6LfeUVbHhqnCK6JGorqvud526c2UnjWzRi+aBpQQ2J9kG4yqMlvgcmOBjYy9rwTlAYi71nihIKx1PBt4NI5eqoP/F9ytEc/EW4YQ8Hqu7PdYhZZ4omVGzmBW9drG1u/DUi2sKAig876VHwi8ymUeuul+nuiPRcaE7jRGGpZ1xmBXhh2QMMfbVvSizF1Q2efaUXXQ8paSVGwx7CzcRS+KJWed+DRJ9Qtb5csaePTP/7KWetzyTfV660ByGL8oWmq7u0BnX/pixD4zq2AvEgpRddDxlb+nhFx2vyXWto0ndqQ7J8WEKDe/xe5WeVPqsCl34CF/Y6M51Z1zdetiuiI/1wbrafHUvmtZ49x1jrZCTStEuOp50zjlztQVfIS2D8ZNVpKwqpSsj26pdgUqfmUeun6xct+5cd8Zp1r92VlyHL1QY0a42F5UJdUZ39h3jXK6YxZQddDxNkuQRA4r+blNbmzolT5WkbEA001H8OD1CSNAVva9RPHrGdJKGNyQvK9X15sIX+rpDZ1wooQs/GIVedhZU+MK244n3Fovfb2ihil6BLSnr3j9L0BWlRbn+KEmLRpsN1L7seauuN0XKprpDZ1wApOwRI3GuBMQjKdt2PHElM8qEmA+h913HI1eRHH/+WFkVhTiDmEuArHbpLX//jxF5JtOtqPOy5/BBynV0F0pnXJ+rAnxhVHetAWPZ7nTJFULpnvX2vw2SxmJrGpwvz1O8P1dehev7raO7ttsJGzzD5jr00Xv3hVFmL5M3rcO4QwcUrPywv3dnmG53AiqsN01OiQTZBCmzBoq2kXJd3RV20uLC/HSeQ49PofbR1Waa2PNdCrvE+KAtJ1B7IeWVTH4gHU91vAHx9F3fpOz6+119X13dDX+M/l2nneiWGYnxfDHZ6vvedK579SIdY1QnsWdz0rUOzjKMkzj5O3SMg36jsOSUbn2gbFaFb1JmnX2uYnCu7teF7pp+gZVO6+O2r9mQHfKuyUQUR4Qr0/1U15vcqTlba3nnnpG9CGEF66mM+fcVGDfYTSjD8mIs6OXrkuc+qF2nHIIoZiprCNqA26o7rZb3iml92efx5/F8vMmPj9RtALLX63qm/rXWXmqQMofzGWv555Ni0+md2zKMU3L0PO8ix/LS6deq670hZe5Nai6BDaPpk+70vSjzaX0m8c26nZHrnvrXSnsRCNJwKuNKAk/lfTeJser0kqpTTXrhKUO6J9ot7yXT+tSLSS/ZKiMhnS2yq6l/wHgVZ17vBc4KT7ghjE/EgV2q6yDlirciSK/9+tNteedjm/y0PidEIJB7sW2uOLnCxdS/PtiLwVTGEynOCuJj31tlq6lHS5JjntgNMT55OJv9IMG4tCyvV6RcllW/mBqHOHJt/aWNMM3oTzPRJ07rq7w3nWRrVUNE1eclc0jWMvXPp72oKhxW7EVBUIaJvoUqmVuGsYr4GIaqz+l5hGWfl8whOa8i9N56yrIY0TpPuoD+3JKyr2SdTr12mR5cTv3rur0YTWX0UWNd8p0pjoOtVzLyZy8ckbR1Qhe9I+UUQHL7020SfZIlpUDK4eivbMGaTOszFTa3pOr/qc4WdDX1LwTJtv/17UUzROX80FWGcRUpUm9ZhTGdridWV+QYn1WdwNIrUuYzrvCUw9ZfKSlbjgWtQ7a65N3GqX++7UVVvWBNygrysxUV2eqSd4qlEIsuu95rUqYZV3YSLzxlC/3lQ5Ta6Cnz0/p8JB1tSJmb7veUvzfV9fA9ZTt70Z3K6BpnG1LmvPenOtd7Tco6Bg1SdqS/Bga+SE8b15zWtw5SpgtdNoVNvN701D/f+JQRS5W9GE1ldBhT1iblnfg+T8oyjOlnMoyR6DvUy6oXWfGeN42EoL++1eyG9sw69lJUKChItY8Y9y58AQFB4ZnxvCBlCAQLFs+M5wUpQ7Bgu7pY8bwgZZAyBAKBtFCgBAgEAgEpQyAQCEQm/wMlyJqUTYX3zwAAAABJRU5ErkJggg==)
Сокращая обе части на
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAYCAYAAAARfGZ1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAE/SURBVEjH7ZUxTsNAEEWHPhwgksddDhDPFZAzQbkAXqUCuUDRNilSUEzcuYALpEuZM4SWJicAKZyAOwA7NogVIoDjpUCKpZF3C7/9+/+MDEVRwF8VHODB4e45+urdGj43NAKgR2P5FCHZnIntcQS3ZOajIMoNoyDyakDxIoqiOzZ8Tqm9aA0XGXeHOLz2FU9SnAZRrrZgOpmK5T5SdlOWeWcQ02Is0v0RruH4AX3eGyJRkB6iavUmBLAFypbfwis1AE8O9qIfZgRLt37WAH1le7eiKkkAN3EM93qAXlu9VStaw6tWQ9diVnq6DwpXK/zka6vwga30W8FrS5K172/luxfW/nBV6YYjn82OtUPqQGnbJMydcB2GujveqqHinfAqOMRVE29/Db+6PEneLQkK/xgWV8jrvCw7hz/R/4K/AvUlIIER0wONAAAAAElFTkSuQmCC)
получим:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAJEAAAAvCAYAAADjGCgmAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAASmSURBVHja7Zw9TuQwFMe9PRwAhOk4wMRsCRUKQaJebSaaCjQFQmkoUqCVoZtiuQAd3XIG6Oi4ARKcAM4AO3bi4GTi2Mnke17xCgLDZOxf3vu/Dw+6vr5GYGDLGCwCGEAEBhCBAUSrZ1ceOUZbzuN0NluD9QCIShmlkw3b9n8hhH7AenQMoiCYrjuOd9J5iFxnf3cX/5tD9Em8q2OAqCMQUd8ZYYQ++rAxY4Jvfnr+b37PZHwDEHXIE7HNcXw66kMoE9oI2+cXAFFXPNF8c8j24W3XxSp13dEkCDaDYLJpIethQukGQNShcEZs/7T1xZiLZVkwp3+Owu47Qvi9615z5SA6t/EF00OIjO9a1mVzQNAX02Vjgu74PSHyBh4HUvxCYdVC+Blj9MJAms2ma84WegTtAxAZGy8kYuvZ9ekO+xkgAohKZIjoTi4xhCEOv4D+6RBEQqgWteZCWTLj4rqoRZ0GEGWL56+UfRrYVxPhhHsd7NxPg2CdgRsKa/IKorpjnohrDgEQa2LON0znHQhCb01AFGeIwgbsgapuIrfzASIPw9PnINjUeYi6a0hcQGN8vwraRzyYvYboW7CGNRmE8Efe5vEPTTxa5/1cnh1YPJT1eLyDhWD+gGo8qEcIPTrCf1UQieSiiBbVCuAyIrnAE/EqQDo4u7TaysjiENbDOaFv/aYPwQwyBggP3TmfVf5/Jvupdnc5ojax8FlmqCdEHUboJBitMAeHj86Ea2c0+SB7dB1EC9Ij0q8qoLIFZgSBILd2PSKBBIU9Q02jkQFZYUxkmqYQpeTHh6oFpHiB9axLbauu6xSpyZStN/XBjLNIw1Aj9tRx6b54jxgiTXYsr7d436yHvFQKWFU4SzxdBUZBDOtLvbTCWa4m1Cj2K67TqSKNAE68Ni9CJF2e45yIjWQvbiK0rFJ6XW+mqy+XJLxZjpOQkh4jvbWgTUR611TJP92vAltKK72a7FkeRGUq9Zn0RXM0tZf82YdpQ0h3/aRG6J3RQ10lh6LCupPFxjimN9haEJ411BLQE6v0oWzN9RYQ0lWVGjwHUzihMQCIygjpqk6C+DY5BQE/AIjk3oyJhfUJ/Zyzru7CvB+DV/ZoDGib2H/qbHWoakBNz0sNBiLFTJGB5UOUnAyQ55TC14kCqkvdEUsemhLzUY0lvifxvqrrAJGJkC5bhDPIJERpXniauJ2iK5rW3HQNH5zFFoXqOkDUokVZV8Jj6UJhEcFetrWjqrcNafR2MBBlbYrO08hNyaJe1LhzjtBb+m9V1wGiGgRpoZJBtClJQa7ebNNhtywQ41BpML8j2hGyF8vymgBRiTRflRV9j4aYL7I0u/1pWnEX3iVP1Ooq6rrfSwJ64fDBkGa4O+Fx0jqDgXS4TW5NIapDIJsURPPuU3XwcWihrDWI+Kbjvac9jJ6ysrAiENV1IsT0q2OYN8oCQnXwMfSAw8jKWoVIzoqW9UR1nVJVwWEKm6rJWXXzc2UhYlmRS/0dMSNc1hPVObKyDETs+4uyvKPqOkBURmtosiITiKRjR7Wc1CgLkeoQZPr6kEBqqSiYv4jxOCd81S9ABAYQgYEBRGDN2H8nh5Yx148WJQAAAABJRU5ErkJggg==)
Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAAPCAYAAADQ4S5JAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACRSURBVCjPY2hsbGQgBTMMjAYgYIRhghrq62MljRkY7gIV/wNhWbecYrwactxkixmMoxaC2A3Rxj7G0Q0++G3I8zCUZTA6FVteLkW0H0AmM8h47Enr6ODBqyHawyMZpijKmGEhuvtRNHR0pPF4yDDsMY6s9wWFDkgDzC9YNUBD5w4sdBgYjO/E1tdLDpKYpqoGAGexAijGg+eSAAAAAElFTkSuQmCC)
взаимно просто с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpVluAkypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEMh57iDWEYXBmJroaAACuHYVs4rDX8wAAAABJRU5ErkJggg==)
, а
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAF0AAAAbCAYAAAAecIOyAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKySURBVGje7ZixUuMwEIaXnnsAGJTuHiAW11LdCBXQMud40t2kuGHcULi4uRHp0vACdHTkGcILwBPczcATcM+QnCVjMMKS13JsZy4qtrDseFff7v4rB6bTKXjr1jwED91D9+ahe+jZjwF2et/ABsTQGfTLiJ7AAb+bzGa7XQc9onADdHSjYgD6OBZibyugCzHeYyw+66vSIk4EoaOrrZIXEfKjw0Nym0Jf0ujypOvAY0a/81gM8+vZbLLLKPvVZufJAssNs7526CNKrr5E8TcR82FZxUWUCr3tZXdQGommm0+S8T4nZK4nu82uU5IGsHqxJWHnF7Z1254bSUuu7RhH64Kukgz0PhThkAI8vtt8yzPmnJELAPK32GG29fVCD8PhOEn2ZcUFECz0ipaJKJOcdVW6abBjZK4oBXU7Ix/g2PVa0PWA9Ous2uA5ze5zWXbLpAULvcq3cbAafH44caUSUDTsPFKxAzzpz5vWa0F/Awor+aIXzUoDpE+Yo5kNbBV0V9+YZKp3Eb4oyo8cvpzAwlSlHxOWxpF2eLFTREhPbfGhK10+GAB5GAzgt9y8Cu4A7nTtrtvmGDguvvMKNj0jNdf2+6r72sBcarayJQ0NXW2CBA9hLD6/VgQSuq3NMdCb+Db6HBxf2was9HE8oNemuE0xVElLLegyq8UXZW1P/pTpdy35QMqAi29bEjEJk9Vu7FBDDFmHlZ9a6mm6au/3JxLbdNaD46E4apIUV98uMLHJUUfCkuOoad1tkBI+nyTJJzkoMi3D/b8RM3bWZOA18d0WdHkslhKi3zOtO0HPDvqFQYGsMsxneBV0V99tQTfFo6/bwFdCz45QZO6qn02Ok2377ssqof/88TXI27tr6G373kjobx8iqWkfEW1D78L3xlZ6HwH879Y7dG8euoe+TfYPXnpVAI/rEO4AAAAASUVORK5CYII=)
– целое число, являющееся степенью
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADOSURBVDjLY2hsbGSgBDPQxAAgYARhXHy8BtTneRjKMjC8Bmr4bxzd4BNlzLAQyP7HwGB8N7a+XpIoF9TXx0oaMciekpVluAkypKMjjcdDhmGPrFtOMVEGNEQb+zDIGp2KzKtXBfFJNgDkbJDNqN6SvemRV29IOAzAzjfajexfcDgYRy0kPhBlPVamlZfzgkIeEojGd7AFIFYDctxkiyGhDsU4bMZqADiwZGVXYvMrUQZUZ7kYgZ3f0cFDsgGIBAPEMh57iDWEYXBmJroaAACuHYVs4rDX8wAAAABJRU5ErkJggg==)
, то в правой части <4> существует слагаемое, равное единице. Пусть например,
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGUAAAAcCAYAAAB4UXHGAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALkSURBVGje7Vi9btswEL7u6QM4CL31ASyma6dA4ZCsRWXBUwsNRaAlg4YgYLx5yQtkSrb6GZwXaJ6gBZInSJ6hrkiJjqSQFKmfVKk5HAyfLenuvvu+Owrm8zk4G5a5IjhQnDlQHCgDSgrgnQNlADbFcAN4enMR4iMAfD+jdLSVoAytI0OCKMLTy62VL96Re+Q2Wix2hpJM7ONvJKYTKWAY07fCnsYXUjob+X78eShsSZLZLkFoicOLo7c+Y5qDEpBP+/voR5rwH1kh+hjeMuOxxGSCAP8MaDDBAPfIPzkV1y0W0Q7Zg9vXjtHE3zkoU4wuP4bxF16QFjrOGIdxSGulMgU/tXX+mRt+MJEk1kAqWetsnmG4zuPjMYrGUPl1+beSLlGw6oO6BuWZDfAkOl4wwGSuhYR8fY3Zd+KjUwD0VG0Alb9bUIJgMkuSXabjHnirNgPUFJR81S0xI0tWzxZbJsvk0XYtN/VbgVINqPo979rHFP3HOllQzYLNPDAERZYY99UwhQFnOk8KMrkx02t5HgAP1f+r/FagPBcc1uxGPHEL/X5RtEqSJUuLbALKJrGAHgtAM5bIi8akzcf+eUSj0eEYX5nEzWNFZFUEmEskgpWqy6VMThWk2HgyhjdiCvujB+huPIZfLGmh321mRweDvjrktaf2rCHqmSzYpMut7vdCA64lzbfWgWoMCi8C8u6CmH4oDtUmoHQhXyYy1aopxodXunuz/HWMU9WnTrqsQGFFKN4okzT023at7EK+RGJ9sNRme9TNJlV9MobLty67mcKlq7xR6baHvuWraUPYrLEmw1wHHp9vEiar/M0GPSLLKEneM4nJur2/t646UDbPTxuir1clbUFhxwLB5GKMRb9t/ooDUFli+jxwqUApbIFZHJXNaAigqGpV9euAqQUlWwHRsu9XEk0Oj/+r1YJy9v3AE9LlQBkAKKVNqSepcKC0WIn/dVAOlC0txpDNFcGB4szE/gJrHw2YiQPE4wAAAABJRU5ErkJggg==)
, где
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADcAAAAUCAYAAAAp46XeAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGQSURBVFjD7Vc7bsJAEJ30XACJSZke7xWQswVtUhi5iygs5IbSxULnhguko+QMcIFwg0jcIHcw8S42kWyPGS8fBWSkaVj2zbydN28XmM/n8KjxsMRIcunn6eqJb5Gj+MXExSmA2PlKdblFmj3CW3KTegKW3Bw2+GfL8pgUILFJfEl8Fcq+cMOPWnIasE4u+frh5CFBdzK1KZrKYYMfBQMHAb8HQeSQ5JTyuwJgl4LuxWg2LP4wjscd2YMNtc6XY9qJntyM47hzLn6Gt88iKe4rEXh9Fp9VszAbiaEpLAOxNQSNU9URW3xNkOpwSbsovAW3Axq0KUlP4EKGqn8JfK02B3BL4ZWcsskc5QPP3WMOD+WqKElbfLNeIfESOaN5xNWpUyWTMByz6eHV4eczWodXaLGz9n33nWxz5mZVcarAvJg6s2iCb1QAzvYtCl4onygPNNGB451DBeMu0sVQF3dT/D8Dwh/WzF3ziWUryX/5cM6dTF+uh66JL+6T7i7IZY+CBFCuuQ7Z/uVpybXk7jd+AetzH6QXONr+AAAAAElFTkSuQmCC)
. Тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADkAAAAYCAYAAABA6FUWAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAH3SURBVFjD7Vg7bsJAEJ30XADE5g5o+pTOFnAAY7lK5ArREMlVtNC5yQVSQZkzhAvkCJHgBHCGkPXfLDtrm4CSWC5GRmNmve/Nm+eVYbFYQNOj8QBbkC3I39wwwE0Y6e9GgnQQloDj1dzBIQBuXCG6jZSrw5lgOH5p9ExOLXzkUzHQdxqF2t1/B9D33R5n7A1tMdLNa+VOpsNdHHJT/hrGonuWmPIBA/ywhT1AgA2zJrO0Lgi8Du/DGp35sBLIaLgBvmQcwmu6GJWvC4K6F5tJvn4euHV9v1e2trD5nU7GZMHEYjMAtleLqHwVcFEtOkvjRqNuwT7tSNoh6PO1FwQdsyHxB91/yIIxwiq06qp5k/RiYmRHSgDm3ZSdK5hHXH+c05JDOK6+QLhdqfmtqm8qT4GLCKkpax2JUa6kkyER1L7MbMo5KA6/sHFUxmgmLzlXZWSQ5ErnVFWgWyt8loXWsye87v0tvlL7otk8GvwsDmVSLZhHtLE6LpzUqqZjPNXEZsh2Jo8gO6FKrKpUdS4drlUFbBVZXuSAHrsb+1SZiVmu76q5cZjBpiSe81qqDTLakIZNKl8bLOGwFLkXBxkemRI2n4qMF/M/ObVQJ6XMieW8X+MkdSKpLBLG1XyZnE7WUUPpZPLy32X3GX+/+ky2XwZakH83vgHtD5bTh9x4AwAAAABJRU5ErkJggg==)
.
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAXCAYAAAAC9s/ZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADqSURBVDjLY2hsbGSgBDMMYwOAgBEbJsqAhmhjH6Dif0D8H0pDsfHd2PJyKaJcUJ/nYSjLwPDGOLrBB8Tv6Ejj8ZBh2MMg47EnraODh6ABEFcAbayvl4SJ5bjJFqOL4TQgyphhIYNx1EIMMWJcUF8fK2nMwHDXOLLeFxZ4ENsZ/sG8REwgogfgHWSn4zUAm1OJTgcw58u65RRjSxeEDQBHn+xNj7x6Q5gYOAplGXajxwCGASAbYKGPbhvIEHc541k4DYAmnNfwQJP12I0cBgQNIIQH3oDy8jResAHEZiZ0HG3MsABb2AyDIg0AuuYFQnp0SdoAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAAXCAYAAADtNKTnAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD6SURBVDjLY2hsbGSgFDOMEEOAgBEbJtqQhmhjH6CGf0D8H0pDsfHd2Pp6SaJdUp/nYSjLwPDGOLrBB8Tv6Ejj8ZBh2MMg47EnraODhyhDIK5BtTnHTbYYm2twGhJlzLCQwThqIYYYsS6pr4+VNGZguGscWe8LC1CIKxj+wbxHbMCiB+odbIGK0xBcziY6ncC8IuuWU4wr7RA2BBy1sjc98uoNsRh+B+Q1dAswbILFCrqNeW5uYaAwARlmxGC0Gzl80BPXa3hAynrsxhUmUcayvcguJSvDRXt4JCNbQLIBoOhHTyskGVAfaeyLLbyINgCWYmEY2TXDrHgEAMSBJVaUa0jbAAAAAElFTkSuQmCC)
– подгруппы порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAYCAYAAAARfGZ1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAE/SURBVEjH7ZUxTsNAEEWHPhwgksddDhDPFZAzQbkAXqUCuUDRNilSUEzcuYALpEuZM4SWJicAKZyAOwA7NogVIoDjpUCKpZF3C7/9+/+MDEVRwF8VHODB4e45+urdGj43NAKgR2P5FCHZnIntcQS3ZOajIMoNoyDyakDxIoqiOzZ8Tqm9aA0XGXeHOLz2FU9SnAZRrrZgOpmK5T5SdlOWeWcQ02Is0v0RruH4AX3eGyJRkB6iavUmBLAFypbfwis1AE8O9qIfZgRLt37WAH1le7eiKkkAN3EM93qAXlu9VStaw6tWQ9diVnq6DwpXK/zka6vwga30W8FrS5K172/luxfW/nBV6YYjn82OtUPqQGnbJMydcB2GujveqqHinfAqOMRVE29/Db+6PEneLQkK/xgWV8jrvCw7hz/R/4K/AvUlIIER0wONAAAAAElFTkSuQmCC)
. По существует элемент
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAATCAYAAADiQ08DAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGOSURBVEjH7VYxjsIwENzr4QEgfH8g+wXkS8E9IETpUAqE0lC4QMjQ5Q1XQXlvgBfcG+AF8IbLxXYSEscmKU4iBcUokWPvzu6MV4HdbgddRqfJvQg2Jgd409EZgoLMDOGQPn8L4OzAWNinSDdhHPeeRpB7+CkJEfeYExHY+jhN1xNCl6t/7WAbqTRyCfrbqen7kpJV+Vtj0vzdmjByxwTgWpEK8BxwPrDsvQkpbfEiinM34mMrQUFGVKESkSuluIGReypLUZFEk+kRlOfwopN/pEAlgDCoO4IToL+XFfNggACXsidyxHHYk2ZmrN9GYrFfxtaKlesEjln3E4W7AvUKS+3Pg5r8kpOvSmuXuNhvkdd0QSoE1YZq+5VnnB+jn0TC94+vtvI2EVS2Mshv695dbnNAJQ35nizWTtvbrjxIbvqZQn5DrhpB4R/GgmFa7VmOgyCYe979VtVlSatmbNhmzGRdPOtn1ouJI263yUq6BwoPedwbZ8GMI8N87vGYyeEj7GtnLNPg9bPwIvhs/AFCwB/9lpBz8gAAAABJRU5ErkJggg==)
такой, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADMAAAAYCAYAAABXysXfAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHASURBVFjD7Zc9bsIwFMdfdy5AhXsHeHdIjQRrJYgytWJCWRgYTbYM7QW6cY5wAY5QCU7QnqFtHOI0mDjPCaFqUYanCGTyf7/3aSAIArgWuxqQFqaFadppgJv8k4SRB4vs0k5SmsLnfQbwzobD5wEMIk+IbinMysVR/JLP2L7SZ2q4z/+4SbPRFMLrKoC5wxaA07VVZtIIfKC7GsnPYTjr8B5soMc3szDsVI14kXhVTd/BJ+6LvoJnznxhBXOI1HEmEocqZCeDkBEmQGw0XUThLZe3B2j2psBImCnCWncg+Y7IjKrz5GwMoUevzChN9U5guEUGW2A8yvtSnO64NhFgjxMxVs6pCKsSKLKsLOK6LzvXpCaZmbQZ9UbcUeWVa+LEgSrTr64mCWNTTlYlk5aZDVQTmsZ0n0yKmntGlUpZ75g0q+oaxuPxpEh6gUF0zp4pG82m6ZRC7mwHyUkU1ETRoyGB7u/wlYIxbXFTdMs0fcd5kHr5ZWkFo64JWfNpY88GJtspJtMyQ2ke9xR70TNX+6Jpm5lLmcv5IzUc/gWMHNs2u+bPw4gJjov66SyYn6uEua6bNr0Hqey0/zRbmF+wb8h1wNiBg2vCAAAAAElFTkSuQmCC)
. Так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEMAAAAYCAYAAAChg0BHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAG+SURBVFjD7ZY9bsIwGIa/7lyACvcO8N0hNRKslSDK1IoJZWFgNNkytBfoxjnCBThCJThBewbaOIkpRPFPwEmlYqRXAWTZr598fxBFETjlchAcDAfjtmGkn7vTp1UYfNMq/cUldT5YSPsE4JMMh68DGCQBY10jGIwFXUSfqRaufBylBx5SfRfPQriXHWSyb931Jj74PgLA3CMLwOna5KxapgvaX+ivRvx3HM86tAcb6NHNLI47bcAw8RF6+EJD1hfwiDdfWIeRv5XzSMjIS6KjKRg6Hz4iC5bL+xwa+RBgrMKYIqzLIZf9ZxgZslwX+W7LR/adpw7BLRLYAqFJ2d9VMLI1AHucsLG4QP424CDCVQXjaFCm9HJN+TCNwrqFq1y0dqoq3WABreXDOgxVOpgeaCNNLvFhFYYIzaqqrJo1bKeJyofOiz0YkqqctTQCSVvdRNsdAHYcrAzW1TA4aVG9q6hzII8P+N40DJ2P0POeuIfTgcsqDDHSHkO5okW1AcPEx3ldIW9V0WN1zqhSW5FRRz6lz7oCexMweOs1mTf+PQw2wbGsprQC43f0NRt5m4IhplAhXXRIYTg5GA6GSj96/fRMeCT5awAAAABJRU5ErkJggg==)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADMAAAAYCAYAAABXysXfAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGkSURBVFjD7ZcxbsIwFIZfdy5AhXsHeHdIjQRrJYgytWJCWRgYTbYM9ALdOEe4AEeoBCdoz0Abh7gNxo6T1K4EyvArEIX873vv+dlAFEVwK7oZkBamhbEdNMBd8WqE4Q+q5DpIkycLaZ8AfJDhcD2AQRIw1i2FWfk4Sl9yTPWVX3Phofhjm6riyVjQFQBzjywAp5tKlckz8In+asS/x/GsQ3uwhR7dzuK44wLI5Bl6+EJD1hfwxJsvKsGcMnVeiSwbzquj9/QRWbBc3p+gybsAM8JMETZyGbN7hsro+r7KejN5Zp956xHcIYEdEJoUY1GXO+1NBDjghI1FIKcMwVG0gDaYs36XJAVqw9NYmXwxygtx76q9bHnqM9xwoTdts794amFEuS8mRdWAGrSZzrOOtxpGMSmyEUkgcTXJdNOpALrnydDBKmE4vZgociY40OMDvtmGKfPkCj3viXsWN0wjjDgm/LSENPZcwJg8L9uYvKqqV/ug6aoydeRT+ly6x10LDB/dpv3mKmDYBMe6NdUI5vcoUd7XtiVOAUJl1Wn/abYw/6BvKzLC5jFyfwIAAAAASUVORK5CYII=)
.
Пусть
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADuSURBVDjLY2hsbGSgFDMMDUOAgBEdk2QISEOUMcNCIP0Pjo2jFpaXp/G6GbvVpnV08OA1pD7S2BesSdZjN7LihmhjH6D4f1m3nGK8LoEa8N84usEHmwU5brLF6HKoBuR5GMoyMLwBORuXN/PcjFM88uoNcRoCCQPju7H19ZKkBDCc0dGRxuMhw7CHQcZjD3I4gMVlGXZDA/c/BBvfQbYI4ZX6WEljBoa7uLyCK1BJMgQUoNi8iiNMZN+4ZFUbIYvDvYrDAtTYgbjmDtjG8nIpWCBWZ7kYgWINV7RjjcZoY4YFKCkVS8IbgrmYroYAAHFAv8k4p9crAAAAAElFTkSuQmCC)
– группа порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAG8AAAAYCAYAAAD04qMZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALfSURBVGje7Vg9TuQwFPb2cABQnI4DEPdUq8Eg9gAz0VSsplihNBQptjDTTbFcgI6SKyy028wJQGJOAGdgiTNxxhj/xk5gVx7paaRIfu9773t/NpjP5yDKvykxCJG8KJG8KMORV/2+yP6jfHLyLnJ0AgBa5QU+hiBbjkmxhxNwh/KLkyDABkiEPm1Q3V31s7OiBK28HEMCIb45ROlVkiR/cI5P0aj47ut4WU53M5DdTgnZ6Su4hEx3ahtluRtad1nOtmkigwTfzRaLLfeiAC+V/G3+G0ErEauX80fw6BdfcWcjeO5beU1FP/ZJXOtDgfchgA+4IPshkwIB8FgHvwN5G1zgmcVysZhtyZLBK8hwdHZeG0KTS2rgMEVXPkFvq2EA4t4GKluGtkkTuSt5bCTxmGp9wjerfi3ruTlChCqihmiGtBmHJteq/m0CPUHgmiaE7RxxmSs6HHVgBNw2M0hn24c8GgcRT/3NVHlNyT7Rsqek1IdYz3XMzobQFevbOmLWVQeXqhbmg8uEQ1d9GzsKUZDelTyGFY3JN5Yg66oDL+JI0gYyTcE9PcB6ri74Sgca51iFurSKULhMONqABdqUfchrFhZxWZHuAGoFsFr/C7LHD0xX8lzmiaynh8JlwsHIU+kZsm3K2qPTPY8q4LPQZyurA24BxoY8H1w6HDryhmybpiQykifb+GQD1HwHxKcMuGkRsWmbXXHZ4PgsbdO1SOQKqov3rCy3aVtYZ57bvYu1MzZ0xSDLWo7VwmLAJeo14ejrutDaouRVeG1eXnh81hu0vH2Z24LlRfXdwN1sje+rTFehJlwyvTocLlcFP9/hE0tIle/cJr0+A/Gt88yrMxXCm5AvDqrMJGN8INpRVZ8tLpXej36K88VoRd7PH18z1pr6fFOUXeb5LExBes87Z4PLpFd3JuSs8/G9M3lvtirLsu3XSfSbVkNfuHgbH+Vn0MqLEsmLEsmLEsn7j+UV3UzzXn+tmMsAAAAASUVORK5CYII=)
– подгруппа порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAYCAYAAAARfGZ1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFFSURBVEjH7ZW/TsMwEMaPvTxApVy2stf3Cih1UVeGxuoEylBVXjp06OBmywAv0ImOfYaysuQJQCpPwDsAPodAhPhXbAakRjrFHvLz5++7UyDPc/irgj08ONw+Bx+9veELRQMAuldaniCI8nQ+PpIRXJNaDIIoVxINolz3KF5GUXQjlTyjRJ97w40ZtfvYvxga3akVTxKcBlHOtmAymRotu0jpZVFkrV5My5Ex7W/hHE4zoPd7RWQYxIewWr4JAWyB1NWXcKcG4MHCnvjDlGBl148cYFPZr1uRlQjAMo7hlg/ga7O3bIU33LUainKoTYf3QeFsRTP5yiq8k9p0veCVJWJT+8tBOt8pXXmPv1NphyObzQ5fwUDbXcL8FM7DUHXHSzXaywvugkNc7+Ltj+Hz8bGoLQkKfxsWWyg3WVG09n+i/wV/BmshHvRScRvZAAAAAElFTkSuQmCC)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAE0AAAAYCAYAAAC/SnD0AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJESURBVFjD7Vg9bsIwFHZ3OAAV5g7gvWOagblSiZhATCgLQ6YqsGXpBbpxjnICboAEJ4AzQGM7jhzzHOe3KqqRnkRs533he+997xG02WyQtXJmSbCkWdIei7T480RNe5Nhv/LD/CKu8KVaJdLCcNojCB1jBzfUd3eLKOqIvShadNw+2rE9hK6ITLZNEdYWLvU7QqPvaRj2xNraI2Pmh/u7Jd9jIyd6DrqnUHlyx/ji+uFQ3ZsQ/AmtN2FN4nJfnIg7Mn13iBG6EG89zgQmCRjfxwcITwvoO2SOMTqoUWUZMXj9kjOhSWsK15QtEKFLB6/kNU7caK/6AAEZ6643gxxTR8Tx52W1oohe1MG9z0q0xc5ylbevBoatKdLAiFTOwVFKHjDRmZMMTjNBVyIMNNUHwAxaVBUXzjK8150X/mlpioDyLENXUa7ZMs5mm7ZEBKDMPs0EhzgfbZZmE7h5WiY1gls2qOQIap9EsJY09QFlQSxSIlXLsy6ubKo2gRWhlKGhq2eyHjzkOP7bXbuPS8tUInXKswquLhh5pEEk1Cft3X1RH1CMAQPSXtcsiyvNWlf6gzzXnYkz5lEDHiVM+geSFgSLLiuRIOjWiU5ZK4urZhK9ls/oGgHNSqhrmpqTthHIkYNEsUz3Kj/MFsdV5y+dZqojRzLMnlOsgppWeOT4y8ZITn6EmOp5J8wSbho76gzID01aeq3JmrL6ZdKyhyUt1ZggeBYalae1pr9TVe55yPdZWR3E57ZeHtiXkJY0S5ol7T/YDwyXXH1sPxaBAAAAAElFTkSuQmCC)
– нормализатор подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC6SURBVDjLY2hsbGSgBDPQzAAgYMSGiTKgIdrYB6j4HxD/h+J/EGx8N7a+XpIoF9TneRjKMjC8MY5u8AHxOzrSeDxkGPYwyHjsSevo4CFoAMQVqDbmuMkWo4vhNCDKmGEhg3HUQgwxYlxQXx8raczAcBfkfFjgQWxn+AfzEjGBiBR44AC8gx6AOA3A5lSi0wHM+bJuOcVkJSRI9Mne9MirNyTZAFBgYQt9ogyAJpzX8EAjNwwGT24kFgMAGgV85DE977EAAAAASUVORK5CYII=)
в группе
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADuSURBVDjLY2hsbGSgFDMMDUOAgBEdk2QISEOUMcNCIP0Pjo2jFpaXp/G6GbvVpnV08OA1pD7S2BesSdZjN7LihmhjH6D4f1m3nGK8LoEa8N84usEHmwU5brLF6HKoBuR5GMoyMLwBORuXN/PcjFM88uoNcRoCCQPju7H19ZKkBDCc0dGRxuMhw7CHQcZjD3I4gMVlGXZDA/c/BBvfQbYI4ZX6WEljBoa7uLyCK1BJMgQUoNi8iiNMZN+4ZFUbIYvDvYrDAtTYgbjmDtjG8nIpWCBWZ7kYgWINV7RjjcZoY4YFKCkVS8IbgrmYroYAAHFAv8k4p9crAAAAAElFTkSuQmCC)
. Рассмотрим разложение группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD0SURBVDjLY2hsbGSgFDMMDUOAgBEdk2QISEOUMcNCIP0Pjo2jFpaXp/G6GbvVpnV08OA1pD7S2BesSdZjN7LihmhjH5C4rFtOMV6XQA34bxzd4IPNghw32WJ0OVQD8jwMZRkY3jAYRy/A5c08N+MUj7x6Q5yGQMLA+G5sfb0kKQEMZ3R0pPF4yDDsYZDx2IMcDmBxWYbd0MD9D8HGd5AtQnilPlbSmIHhLigGsHkDGqj/0QOVJENAAYrNqzjCRPaNS1a1EbI43Ks4LECNHYhr7oBtLC+XggVidZaLESjWcEU71miMNmZYgJJSsSS8IZiL6WoIAG2vv8h3lWvFAAAAAElFTkSuQmCC)
на двойные смежные классы по
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAC6SURBVDjLY2hsbGSgBDPQzAAgYMSGiTKgIdrYB6j4HxD/h+J/EGx8N7a+XpIoF9TneRjKMjC8MY5u8AHxOzrSeDxkGPYwyHjsSevo4CFoAMQVqDbmuMkWo4vhNCDKmGEhg3HUQgwxYlxQXx8raczAcBfkfFjgQWxn+AfzEjGBiBR44AC8gx6AOA3A5lSi0wHM+bJuOcVkJSRI9Mne9MirNyTZAFBgYQt9ogyAJpzX8EAjNwwGT24kFgMAGgV85DE977EAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAATCAYAAAByUDbMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEESURBVDjLY2hsbGSgFmYYWoYBASMM45NDl8cwqL4+VtKYgeEOUOE/BhmPPWkdHTwwuY6ONB4PWYbdQLn/YHnj6AVEebMh2tiHgUH2jUdevSG6XJSxbC82cZyG5bkZp8jKMtxkMI5aiOFyOfdZyC7GaxjYOx7RyRDXGd+Nra+XhBuW52Fo7JaXQnQEwDRAw++urFtOMbKLsXkRp2HIGqKMGRbCIgLkYjdjt1psXsRqGLoGkCtlGWRvggzH50WcScPNLS8MJfxkGPaAIgKfF7EbFulhh64BlkzkjLHHIlbDysvTeMFeLC/nxZKQUSICr2EQ24GpGoyN7yAnB0KxOERLjUFhGACZ7AZ1e4l+gwAAAABJRU5ErkJggg==)
:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAO8AAAAYCAYAAAAS56oYAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAASsSURBVHja7VrNTuMwEPbe4QFApO9AzZU9VSErwXUlGnECcUAoh+WQA0KBWy/7ApxgL8s+AzzIIpUngGegm3Hj4Dp27DpO2rKD9An1z+NvMjP+ZhJyc3NDEAjE6gGdgEBg8iIQCExeBALRLHnzvy8yWtuIwlZTe3XrtM2rDT6L5tRpYH6yeGjDRq2hISX3+f/3EnR4n6an6yENr05HozVfpK5jul/YmMzYI/TlKE03XdbMsqMNSsiYrbMVPYn7HY1O16KAPJb2aHzn8yK1wWfRnLrE4uNheO+bU5ZE2wEhb4WNiQ8bakOH9ICRCKJHkWTh1EkQnl+0RY7G1/ulQ7fIk+xot0AI3qIk25Y/G9Lgp+r9ZeazSE5dQuk/SDBP8TA4u+z79l3daXoeBhdiIeK8bH9vlbxF4k5Ui/NN6D5rHpB5Zc2yjVnCs+/NiySkJ0FAnuVKxypxb+/Wp4Logg/n1OuRv11z6v70bScefPqOS2C2X43aYWvTODMlZ0zJHeSWraxWH+01RzqQV1UnXY9iq/GZRJfssveKSqtaw7Quq9ZRfKwKBOBKw+TEpTDBeib10QYfF06+eZngy1Yn8SBIcJ3vTEkLCWeS2lyxskPxMDuo26O4nolP1WGKymaTiKVRHWp6sKIfeeHEAFxmQCB89EAfUrF8T5L2cjGCC8LXF4NFVYR8BV5bfFw4rWLyzuM/Ln/biAdd0sLcp+iR301chX76vezj+8NfpiJd8oFilabryiHbjBFFTyYZnzbbhI6bSj9NZRKHExUb7ALmFWn63zyQES+IWLWBk2ro5ivI2+LjwmkVk7eLeGCHjYXvVEVFN28wQRyMQWGao/d/VQ3rqhvTHP+mYVUT2SwGoc0QwybA5Asy/W3wDE7XSSTb4DUFaBt8XDn55GVbiJva6jIe4OS2lcxJFPywlbSm3tZm2iyrDpmndfKahgWuslklYWorV64OxIuucyKsG4bJ94qyyPnpJJLN0ALW2evRW50fmvLxzckXL+spcUNbPvyn21fFd3AKGnznKmmNv69JXrmf1h6Y1Z63OkYXg8T3VFE8PWxkz85O8MD3Ue5LUVSyw+irvCa/TdCj+uCCIgXO0t3I55+3wUcI3rHqorly8sFrrolufkK52nLw32+buGziOwtJOwZJa5vEYFd3qyhNjzb59TcVJVXVG3N9zSvA5dmgL95z84XyQZBChtR9j8sx5rAg+gMVDy7eIEl25SpePkiSf8elqpf9UFFVyyEFK2D63soHn93d8Aq4wF77pP/IeRk4jW0ST8uLnUBVXrICML1uYsuX/yBBmZ0oPraMh4rv5pXEZd5oiojYOk73++1BVSymJ639PIlYS2DDFNS9atWvX97cLi64OEADp8sSTHg6RznksJVIs+uwyeZr3e988ZlVQtOHBnxxmodXua+Ch+l1Ux/a+k/sO1X+E9eZnUzb+c6GVxtx7nT4+ZbBXcNXr7aMiKPo+DM8cNE1PstTZpi8KwpdX4RoPjDD5F0SQD/DkrfBA/9LF4DwiKqh70PoZSrc9vkffLf60pL355578kXB5gF2hB5yT4zJi0AgMHkRCAQmLwKByYtAIFYP/wAa2xB7G7vBYAAAAABJRU5ErkJggg==)
Отображение
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAANUAAAAZCAYAAACmamtMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAASwSURBVHja7Vo7bttAEN309gFsiOpyAGtVpwpoInHaAJLgKoaKQFDjgkUQ0O7U+ABxFXfxGew2jU+QAPIJ4jNI4ZJcernczyxFU6tkikFgmea+mZ0382Yicnl5SdDQ0NozDAIaGpJqxwNOyCuMA5IKrQVbLKZ7UUDuCKGPp0lygDFBUqG1RKzjPr1GUiGpvJZSuySnuiCV7zHh+GTzxTfbGRAMO0uoJDk9oIQsUwfXQTg79zl5uiKV7zG5mNCTFNuK4StslVsqieP4cNu+iWeQXnQ/XSz26vK9wE3HN/9kp8odDW6jeXLk3+zEEya14oK66FQ+xqSSuPPoKCDkiU4uTkq8PXIvJ/E2fcvJHzy9/fxlIP9uTIMr2/nGSuu7pMguKIhubZfxP8m/LmPSRMblCVtd1szC4ByywHH1ranMnIf0rN8nv+RulHWy/vG17XxTNfnD2qzYsnl1gRCxibMqx03vZJchSgHVs5DKUvpMx1dNdTfE9zElN2Ln2lZM2khCniOVjkzo0kaMLAZSsmafATqVi28afFbiZt0wmnwqyS/IUvZOGs7PnBcVYtUQK4OtmnDy2fSuQNKKtu71ej/zz4InToLyWU3A2WUwopcSQkF8KKlUl2bGD8fpMGt0EhMXDKp4ZM8G0Z2rr8XM8khHyQdO2jyvyAqCseJbMd+o/q4pPpE4HKvoP+tgkFwytmbmMAedMz/4vYme5Vq1miDPP5ekTisZ/9d0QQMyuBsl89dcZ6tI4UIqfnGQQRiK08eYNMEgVvKQhl+ncbzvKq8K4q5du5uLb5vgk4kzoeS7OA9n7wUQtdr20srGQcr6X6WFnQdo4f26d/JBFpQIaYJx0uiGWPZ7NnDqVrmyxfHpYVZNLZUTitPHmDTBIHebKjFgBIHKvE18s+Az5q9MHN5IWP5ApV+FVHInkmcMaAW3XR4LTJ68033+s+o5W1IzPMPh8FulkyqG2HKOcbO1TZJAcfoYkyYYXId1HRmb5hDUt6b4+N+G4fxjbZObxgIq/YykEqWfWLlc2qCuupfJq7g4Bn44DH6oEoufm0uB4CGIJoltHnKVf1CZC8Hpa0yaYJDX2qp1cxtx1Us/mG9N8WXnjKI3Mj4uhfsUTtR620wDyqpVJv3i+LBYUIB0r02zllUk1buqv2UOsECVVSh9TlUh5CrFgx7NJ+/ESuNKqvziBw8mX11wgit4RzHRzRUmDMa1eJofkJmFfc63ftZvIyjeo/MtnI3ey/ct4FtC8TFjOc9nMUWHXaoIrHunbg2p3f7odDFk+8c3Pfw5Dqj8vKiQwuaqfJ94rlylnnHXye+0UrdIJSXO4j96VTihG0dwTAxn2WIi/FybK3QYHLaF2pmqtto2xEaH0eW+LfiUM1X12foz2iKmiadxdakD22SOkGey4iLX0M1Z03O7NhecmpisXiomjCyyxNkUQ9umwuir6bBqV5e6CjChNHHdAOrkAt/oQN7R5NxtGBRn1zEpv9cmvLsNDG2aCqOvZsKqXV1qX0Sfh0XXTlVrx8DgbXJu54F2wOlDTDbBgGZZVMA7jv1bEy8hqbZxrs84dyUmSCo0NDQkFRoakgoNDUmFhobmYn8BHqvU7WNsckcAAAAASUVORK5CYII=)
будет взаимно однозначным отображением
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACcAAAAYCAYAAAB5j+RNAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHDSURBVEjH7VYxbsIwFHV3OAAS5g7o07Wj64GuVSFiKsqEsjBkqgxbll6gG1t7BrgIEpygnIE2NvnBNbYTIkXNANJXJBt/v//ef7bJcrkkTY3GAruBqwVc+ruzReWNPDlcc9ZEiwCG6R+Pafxk3yxgPxGicy0wISYdIGSncnT5JkySFs4lSdjilKzzvWC8KmRORLxPCTlAsBjmSbpkYya/Jk5F0wOPRN+cGwN9N8cLEv1lasbovCp7MiIGU0rJVmcnZ7b3+GEW7Uw0BrIyk6ixjDlrj3j6UjHPg1db0VIlYNG0lCGyHtnDSDzhhifWyFHKfO7Js0T5GOVrm+wIAHNTNpvrjNqk9hnCNMPOlFMBTtnFb5GkCEBXQDLKgL3ZCnJLWqLx0TQ6Cy5JdQCndXQrwboktYKz0e7bVDoYHe07ShiLns11km2XpHZwWlVl3DcY0E9T0gumRvzBzIfHSg8uXWoFJxsfXeq7DeScTC7ZVcVQ/hXGcVtnAdfHcdhWQNP5axUy++c7N4DDdehaZEs74Y+4EfZsFNy/+Azlk7S2i1+yWtSH//YqCQBE1VukVnCqlyAQjXzP4U1R5ii6vYRv4JoWvzB0OCSG1XHwAAAAAElFTkSuQmCC)
на
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACcAAAAYCAYAAAB5j+RNAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGtSURBVEjH7VY9bsIwFH7d4QBUPO6A3txOleuBrpVCxFTEhLwwZKoMWxYu0I2xZ4AL9AhIcIJyBloc4tQ1tgGB2gwZniIc8vy978cJTCYTKGuVFlgFrgIXbAJwUypwXYIZUHc2jqkDQKuelI1SMRdzlEjd6Z/LqqRylfkfwajPhWzr32k6qDFir4M0rYX6nXrPCWwvFWx39ZVf86K1li9Jercc8Z3iceeY/6TsNQhglfVo8oUJXg3EEebFXjurHGVOCt5GgI3ePGvShIVqLsTDHQJ9RDJqq02RDUeFD63ND4fGjcn2j4dxaq97weVGX5tGHzIc2Wv2MzaTtg0QYWmyUzDbenyzhzqaxoO1ADMxkfQBz5jn8YtraKUSMdE/KRC5R9YUySdt1D1rsPUxkz1DsQzZRAHQvbUVXME6JRB2GIJnmQ6Ruakv2aYCwYR7JQ3Id27ZAPZhw6UC65PUCc5F+6WlejImnn/5TyV/52mfpG5wxlRXAxfxe7ufPlZadJhSJzhlfJ3Sa73Mk2RQzyRNkvq5CtmH7mcRAOTzSz1nvGmcgQpJWn1sVuD+o74B0tdDVtJ488gAAAAASUVORK5CYII=)
. Теперь из <5> получаем:
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAUwAAAA0CAYAAADhaAFHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAkcSURBVHja7V09ktQ4FDY55AuFO9sDMGZDiKjG1EK6VT1dEw07ATXlAKiagN3xkE2wHAAiJluusBCx0d6ALWYusHCFobdlt4yslizJlmTZ/oKv+OkZt/2+p8967+lJ0cuXLyMAAABADRgBAAAAggkAAADBBAAAgGACAABAMAGAdbooukJA/w6bAEPxEZADeMcyid5Gye7ZyTJ5GEXJ+V6eX4ddAJGP5IvkUeEjR0c3IJjAdAdEGudxsvsKtgAafOSY+AhmmBZwdHRwbT5fPIZjDdNu2Tx5nGb5Lfrv09ODq2mS/nZwenoVPNnnPE2X+0NLf4ToI4N0gDxLb8VR9HXtAN+S5clDDIpw7EZzTzzqA3jvxoM4/jNZ5I/YPJWtAS37XtH9TYTzL6GNFZWfuPaRyc0wd5P4Ffv2AdzbLc/3rifJMpd9XuYko29rrDZ/bpBc0BxUOYCTfxb54lYSRefx/PBZeV/RWXQz/SCaPbDfq7qH4vP1dYvv5a5XzFDi6H11X8nume6zTZVz2z5S+Mle8nOTn3A+8pn6SJHXjNP3B0dH19p873RnmMQ4s/tvEL75tZuOU9JZLJ3NFCJ1M/ogE0NWbGUzIBPBrIt3/PXekxc7OgIyVsEkz3V7lr72NVZ07UhnvjU/IS8z4icCQTTxEQimwNjJ/PBXLEnxazet2UNZ+b5gK9+H8/gZ/388lkmSyz5vI5gk/zWbRZ/YWWTTS2O0gllwnj32NVbMXmj16nflJ5KKuK6PQDA5lIYlIdXyLYRQH1kaP+1iNx2nLEJrTqSawm32urJBbSqYxWwlXe5X4s0MQCogfQ24/jivc9K3YFI/YTkv/k8Rcuv4CAQTCCekV+cPL2iinoC+3JoKDjT3SXNVXQWTiiLNZ7LX5SuvYxfM0HyE8ZNzEz/Z5D0vdXwEghkQptyloln04RP5nRemmwomK4pFoWAzuyUzz3ky/11VWALcCiZTHKz7SYfF6RDMQDHlLhWVU6pCbx+CyYtiWVyI/yXFH1k4DsH0K5iVn0iKOxDMjrM5UzgXzcC7VFzZrckpaTguC5l8CSb5fD7PfmEFtKi+rl9ysnB8DIIZyljRXfZl208mL5hVYacM8VbboZ4UKxeDVhbyhYYqye/Abo2CuZnJubCLkWAu0rv8PdAlRrNEvqRqyILpknPrgrn2k1k0+2TbT4IVTJ8zutpCaI0pvI23l04HQhrH70jCujaLEbRs9dVx4spuMqck9y+qevoWzKLtk4Tj3PPqPJ9vwbTtG32MFVM7uvQTr4Kp+2XVA7NvqfXDV47KCIatB6h3j8jXaLFvsLbLRlSdKrIuFZFja3acrPhlPqHZTWVDtvWuAFkW0kMOs15I2M4tZ+lP+02zGpsDrq9uJBec23r2jZ/8V/OToeYwtZYCFNssbQ8I2ZIQqw74fVCuZN0bSsLMOhCMOlWaih19dpy0sNtxCE7ZJSQPYcD12Y1km/NQhStowdyI5Uq2RorkG/nPbD8A81ZWOkJ3JzbrVGlq2eq746Sr3SCY7q7lyjdscg7BNBTMaoebhu4QURGEvaatah0Xyq7YPKItg7bpVJG1bG11nDA/o5M6CMFuEEy9HDeLELqRRJz7WEEyecEsc5bbsyvV4GWvWaxdbKrWGbTq8Y6gm7Q26EAw6lQhv7Ozs3sickau4+TCtOMkBLu5DuFMv9fVPeheV83J7lko3UhcPtT56pFQfKQ3wZTl73giRIl214pfzgT1BcOg6GPUqdLU1hdix4mp3QA3sx2fvgHOPQkmnRnJGvepwIjEwkVoSUGW9phuU2bUgWChymuj4yQEu7VdED0WuAjJfXYjEc5Nt3cD544Es6kY4iq0LLbbj+N3pgtfdTeOsBW22Og4CcFumgugRwsXIbmvbiTCOdm1vAXnlxPn/UrrHGbpINuVtipcl4ipq9CSzALbbLWv04Fgs1MltI6TtnYD7IfkvnyDjF1w7rno832JQlnJo9PWF0/u7bDrFX0MfDKjbTsD9NmBEFrHSRe7AXZ9zZdvgHML4igI0bWJEIYiDV0dtgd+8QbukLhWdCBY61RRdpwo+tBDs5sL5xv7tnh9dyOB8+4gEfSDOPqL70hyNquxeU3TYoVoIflQNlcIzW62MKVt8fpcK2pa5PHBedn40m2/y8GE5H07TZtixZAPuQrNblYHUODb4g1dMNsUeTxwfjwmzoMXzKJYwSwkV+FwHj8XVe6nJpgt7KY8qEwn/GpaosGnI2S7PLkIC33uGNWXYIJz93wHLZil+NX2+NPE4AXzuKPdnvm0m8555CRUJLMftkXP9faAfZ1R3kc3knfOFWeL98H5hu/PFd9M7rHKSTJ80/tQHbC2JZghQnzuhyYcbDE2FNi2m41dnrLs3h3RtniujrQQ22S8Z5T3zLnwbHEZ50Ve0/LWbhK+v4j4XibxHzK+By2YwLBSBLZ3ebIZTuGMcqecnws5lxR4fHDO8s3+HnmuoiAmWtIFwQR8Dh6buzzxg0Y0g9LdfQdnlPfAecMM0pDzS1POOb7PTfielGD6OgBtbFDZzeUuTzpOWg1AUf5Ro9EAZ5QPj3NR2K7LuYDv5/TnVXyPRjCbdnCpGbNDxW+saKpK6titj12e2PCu6XNy+Jeqm2WKZ5R75PybEedloejSBucycRPyvRbeJpuMTjD5jgFRboMY5P4seQPBbM4DmdrN9y5Pte9VLLpX3ftUzygfMueqRfeF8M1uvxblSHlRpCdU6vI9GsGk5GQn2Q+1pSBMlQ+C2RTS3vn7bhx9bGM337s8sTMYnWuKjkdh722KZ5SXIe3dj445P++LczLLFHHele/RCCZbWcMMs53tXM02XJ1H3iSEuoNsimeU++LcxdniXTkX8l2kAeIvBd+SQtToBJNW1rYWG2OGqWW7RZ792NZufZ0z3XXwDOmMcnDenXMdvmX3OyrBpGfmqH6OGKxwghE0+Nu0ncoRVHbztcuTbtglHDxp9nR7FhnGGeXg3AHn61kjyzktJlV8c8+ly/coBFOnmlrlbSbe5dPGdiq7TXFN4pCfGZy7eckMKiQHIB54Zjw/BBPA4MEz4/khmMDInOkYz4znH/vzQjABAAAsAkYAAACAYAIAANjF/2dV5ALk2YpUAAAAAElFTkSuQmCC)
Положим
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEkAAAAVCAYAAAAKP8NQAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAJGSURBVFjD7VgxbsIwFHV3OAAVzh3AeyeUBgnWShAxFWVAKAtDBtQatgztBTrBOeAC7QmoBDfIGaBJHEeO4zhpMAK1QfpCirH/9/N7zz+A5XIJqpBHBcIlQPI/d3yUTi5ZQ1UOZSBhPGogZOIimxoisPa/j3Gg4dpxrLqO9BfLdWtFE4c5AdiHazSNLTvXda2aAcHGHzuRHOYqMa9ArVcBCQ9QPywYGht2QwsT9YLnUJ/OyhRA5kPPsHGLHxsi+M4/v1mQIoBOyFz0RONTHc6yxvLC1tFY08AuYGQKDO3xg2fnpUCSyTs3MbaNFgTAYykv2qiICXleEsrKMJ8Jm9BhhHGDzYt0eyyUaVSryB/LeFlgF5G8j6HEuQPLBYl4UHIDRQy8iAwpEJE/HdjfZgHP1moisEr4Ix+Sg6Uxn3TaGtB2NBfZb1L+UpDCk26CrcRYj7G5ArTngSwitURxUZ5g/ayLQKXcgrXaAH6xgESHm7AWaWJ6wjz9+AXLmDYPBJE1/A4KzpKaarkFXsoTQCT9s0AKkwikWPQUdd1+SrHWz5UlNZVyo/n4Aw4Zzc3LpTApBHqdybwtlGIGgLkgDYwHHgjaDmgofauplhvLXNafIECfKf/Nvd3ips9njOPcUxqTBYEnu/qz6B41n6+W49RFzJWavSKQiAp87xngPt0Pa+ClmkkhtbnGssjtRp9nmb1MaqpAiqXW7b7FXb9kL1frYs+5kc6tVSQ1Ze9ufwUk0a1WgSTw2N+8Rv1LJlV/ulUgVSDdbPwAHRuBtOYoH+cAAAAASUVORK5CYII=)
. Элемент
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAXCAYAAAAC9s/ZAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADPSURBVDjLY2hsbGSgBDOMGjAsDQACRhAmJIbVgIZoYx+gwn8MDLKvPfLqDUGa4GKyHrvTOjp4iPJCjptsMYNx1EIIHb2A5DCoz/MwlGVgeCPrllNMViB2dKTxeMgw7DGObvAhFA5YDchzM04xMZFdDvIG3EBZht0MDMZ3Y+vrJbEaALMBFGiyHnlFYG/IeqxMKy/nBRnokpdn6y5nPAunAXkeskXg0IYGGsJWhn8gA0F8vAYQwgNvQHl5Gi/YgPJyKbIMiDZmWIAtRQ6D7AwA7uoRPRzU7OIAAAAASUVORK5CYII=)
можно выбрать единичным, поэтому
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHgAAAAbCAYAAAC3BEsmAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAK1SURBVGje7Vk9TuNAFH7bwwFATO4QDS1UyEwB7UqJlQqUCk1D4QqZdGm4ABV0yxngAnsEJDjBcoYsHjuTOJP5t7PeRK/4FMlW3pvvffO+eZnAZDIBxO4Ci4ACI1BgBAqMQIH/j4IA/ECBdwxDCs9Ah8/3Kb0AoB+jPD9AgXcMKSM5ocMH2cW70slWq9KhifWZYrQR3ze3KRdP6DXjeX86He8xAq9FJ3+aOrkrLjF5tYEqq4JZgb/zzznMpG3I89EBBfgoYxyxt/F0uiffLQs6z1VYZZtF8eGSZaNDRsgLTe8v5JrOe/RRx7UrLrF5zQE56xOArzppdgRvavDwYpMv0Snr5yB50D1vpTgWLpyfnRCgvwf5oC8KSJKbW5vAXXMJzesItNqxNwm5je1iaYOEwLu6s8vd2Tt/jN04fkXx5+IjcFdcQvM6J8u1Z/MO1vq95ewpu4alV7piiw6jCb8OPUN9zzkXl1CBu+ISk9fm9590kF/K5NWOh5mwueW5trSKxTPCXnVFkwuQsYUVqgOOUZyVs1OB45xzcTEV0iZwLJeUwlMjLhF5bYOJOpSs/T4sC1UsSn66rEUuoN49opgJTe42a89uLtpNZdisXXGJyWsm6DFMyeGlvpNMHVFfQPU98i4W67K0prbmy8UXXXGJzWu0NJdo9Wm0bnW6xYqYScJ/qt8TXW+ztKYWHcIl5OdKLJcmFh2b19CV1c7wsYzjY/JLLmyRVB0ABuxUjSfH/R7d3MQZwsU7ZldcIvOu2YecOG2WId6J4KIzyiIS9jLOsn0h+BnnJ/UBJcvG+6W1FO833V0xXELQFZcmedXz9M/CLgwDhpxAV7q2ukWZqZcEtVsk7WDjsrSGFxtOLpE3Yv+US9O8re82n0sCxBb/m4QCo8CIbRbYdUmA2HKBESgwAgVGtIVvkbU1XcA7MdAAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAFQAAAAYCAYAAABk8drWAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIySURBVGje7Zg/bsIwFMbdHQ5AhbkD8txOVfBA10ohYipiQlkYMlWGLQsXYGPsGeACPQISnKCcoW2cYHBM/Cc4oa1kpCcEAfz8e9/3ngmYz+fARXXhIDigDqgD6uKXgSaPOwfTEugAgRVAg9UsQH0A0G5ISMsBtVRogCGBaLBgKnVKVQBlgMTgPxN6aIRD0o3jcQNDsE6Uuq9bqbJcdNeqXFeZQ9GXMxuDryS+j8/HOAOLouE9hvAdBbM+fU2h9jpoWSdQQoYtBMAuzaWNN+M4brBr56Iec07aUVXrmvDQKpSEuAsBOPDAcBts6EbC8OkBAvThE79LNwi9yfQWQPMbhAfqjsveDhdF71sXU8GDL6wm6XwFJh6cymxdFqjOOqqgrQZCsBVVmCq401vyG6y2iHoe2il+8Z5QkWuAchY6Bau8LlJl4OC1aINURcgLR2X7oElBTXmoetUe+eSZLZhVQ75xU6BpEhCvC/ufQd9j0FiOtN2IQ1K6rlDEXCjWLsNDpSCxASvPmqeEBVh80CR4AGWvi9B4hdCieMh7q8/uZjzkcCTWtprQmv6mU7kILRsUcEsB6+xuY/kyPKTy1inlmiqb/CZVqayt0Nw8L3zJtQo6aRO7quxuY/myPCTHg6zqVQJVgTIFT3z8KObFjlAdVM90L8vjwhJsmlX9b8MWaBSNm6ndo6h5C0ddy0M8uH6eLKAYLrcGmj9mXQ4Dnd0tDvKlebhbbn/xfqgLB9QB/S/xA9sCVSchFcNdAAAAAElFTkSuQmCC)
. Теперь
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAN0AAAAtCAYAAAAqVm4DAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAXHSURBVHja7V09chQ5FNbmkAOF5g62NiaimqYKUqrGU47wOqBcHUAwAey2nTmAAyyRCX0Gc4HdE0CVfQJ8Bg+j7lZbI+u3W+qeGX/Bl3hmWk/S+/S+96SWycnJCQEAYDhgEAAApAMAkA4AAJAuDPP54cMsmx5gwgGQbgCURb5DCbkmhNyw2fErTDoA0g2APUa/5EW5gwkHQLohIl25/5hNXnw9PD19gAkHQLqB5CXLjv5ayss/MOEASDcAjjL6gedzhM3OMOEASAcAIB0QbWCXclZI2k2RtptoM0gHtJgxckbY3rfjGXtFCLvcL8vHsBnYKtKJVToUSZ04pyVle182arHYQJtBuhHQFksIWUi48cCCZkcfUtlVZOxA3h88PT18kLHs73XevtDZnLP8E7ZctoR0MaNNLYka4j3Nvx/O5w9t36/27wi57Eo6V+Scz/ef5JSes2n5OkV/t8Vmm+oYUpUM6a+jdYCfh8yfku8VQSKtoivEI+xqfz5/YiVetYdXHNwhI5uV/u3IkbNusz56xv6bltMdmdh7jHyz9den7RljpZprjWlzH4iFr7JDaaOKsJRctPYuc82Q/sYm262a6p/rjkI4abAXPhMasro0Zy1/1ZNFr5+/+7hrtUOZPN8JFWc6xXnOykkciwh3fNv5T1fbps/HtDneYqmfK90Rvtiks/kXj/61r9rJFuKjwZIkei7mIB13jBcT9jVkdVkhtYN4XR24qfBdyXbVq+Hq31xRKqRtEwHGtDmGr/A8cjIhP+Ro1vZLc4QvBumEjdWYGA5ONH50pdqlHydyxufGp+9+ElDIEkPjXauEqUinkScLOU+JQbpKdinjYZNiPs91fcdEgNQ2O51IOK9SqOJj7vptNU/57K1uQdDJ/76kE/5YbY8oslU7Xo389iGT/Ezb940P+Pju+e6ETH6I0F4bQK91p/XbxkwwrCQpSacjnk/RxJscyxVQOJWs+U1STDilzQZb210/S21z6xs0v9DmZI0DuvJqYZ/cllpJ7UM6bkMVRGp/cL7m1drz8uXnNu/0qBOs5M9NQU/tv7HBXUL/lzvcPGgRU9+bSCdHSD5QFemk1SZU5tYrvN/Zy4CihFqQ6J1g29q25VZj2szn0EZK1+cysarFu/EH2/ZKKOlamWgIGrbxojQ/52N0u4D7EW+1vrD6G28y6MJ/KnmpiZwLn8hpHPCAV3t8JjRVRc/Wti23Gstmn7G1KRWVWLWT0p88BzdJyy6kK3L63kf2ufLfkMCjqgl54dFLsmUep65Ounxg3eVlLSfoecgLrF4VREUGpSZd16pmapu5E/o8k8+zqQCUZcUbnSQ1Scs+OZ1L9rlI10p0C+nUnFE3PoaQSH/KHeb5Hd/DiX0WLzXp+EIRKoedDqwZn+SkW7aZT8tn62aziUy+5Cyn+TPVJrF9MGHmCNq3einJvkuRtpgq4HIBjv9OrnPczRnF9oI9Z9QToQmh/EG2hvqWbFvJYzk90pV0rlyiiwO3NjuKA7FJV2TZm65bDSlt7kO66rIoLi2Vufc5KeTqr28/260lg4KrZelt9dJWG6gjm1+OrJeWcsVGqUpFc662IsRBf5lIXdk0+fPfENLZ9l76RJtm0/0m6bgobfuc1xzLZu6UXUi3ur1w11Ft0tLW31aeRuznSurksV/nFXCGkk5DIbRwolYFhz5iFEM2jWnzJo3TuiA4x1pndCmcqMeMQDqQbjDStYnjBt8NWRVOpM1fF3RHoEA6kG7QSLfJEAWgcIB0G0q6f0C6EaE79+eNBAURALgXkQ4AQDoAAEC6qsNr8uo/ANJtBVwbyfKmfMoLiQDg3pBOvSxVhThOVb+6tHuBex0BkK4nxFnO4rh4JF5WNFUp8e+zAJAuAuQjXa53+mZ5/hZbBQBI1xPiRU/pmgZtpBvihisA2HrSeV9DN2WvU72aAwD3inQ+l+hI16/f4H+QAyAdAIB0AACAdACwBfgN7iv8FQzZPYgAAAAASUVORK5CYII=)
Проверим, что под знаком суммы нет слагаемых равных 1. Допустим противное, т.е. что для некоторого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACUAAAAVCAYAAADB5CeuAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFnSURBVEjHY2hsbGQYbHjQOWhAHAUEjDBMtqMIGUAKLi+PlTJmYLgDNO8fCBtH1vuS5ahoY4YFDAzGd2Lr6yWRxXPcZItl3XKKiXV0R0caj7uc8SyYOSD9QH3/jaMbfKgafVCD/zEYRy0k5Lj6SA87j7x6Q2RHesgw7AHpJdpRxMQ9DDdEG/uAHSfrsTutvJyX2OiOMmZYSJKjINEGtEjGY09aRwcPMZbU53kYyjIwvAFG91306MYWnaCQIjn6QCEASjfE5irkhExIH9gDsh4rsXmYQPDK9iKnA1yOqc5yMQKG0GtsGYIcs8nyCda0RGQUwzIItmgj6ChYlseb84yjF5CaY+sjjX2B5pbAMhEolD0i6+0IOgpfIsSVQ7FhbA4ClU2oGDNT4MlFRqfwpQ94GYULo4UiTvVYQhvF18RGHV0q5Pr6WEkjBtlTLlnVRpCcZHyS2FxEU0fBK0oSc9Joe2rUUUPBUQC+o03zoDyAGgAAAABJRU5ErkJggg==)
имеем равенство
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHMAAAAcCAYAAABS4YBpAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAALPSURBVGje7ZgxbtswFIbZPTmAg1B3cN/eqVA4pGsBW/CUQEMRaMmgIWgYb15ygUzJ2DMkF+gNWiA+QXKGtqIkGjRNSpRFspLBAA8JLDv+9b7Hnz+FlsslCnUYFZoQYIYKMEONC2bx84EV/3vwDRiZXq8wE0CPCOZPdwmcIwSvC0onQ27A2PR6t9mEYIphfj+WJoxNr1eYWQyXJKNT9UoAOrTpH5tebzDzfHFCMP4BM/pFtT8NrQFj02sNJg8LcvHrNCNTjODnjM6mgNArjq+u+bXVKj0ip+gFkrvz/xFwVJqHoFfVR512I5iULiYACW16YxUQ0J+i/ta/64L1Is9PTITTGfmkszMTDV3f31dzk14bVd5DMUSlplPykq5WR1vDhNHzRjskj2333qmR1SSjdz6tfHplIfqgQS5073MBs6/mJr02qxo6/P75281H+doc8L08UFZg1vF9LQaCqxhfy69pm9qQGF3B3Fdzm14TS+8SwKII/WJHpJ17jM4e5IGyAnMO6En+wvI1gylnDWzaf0QNun1OLNea2/TKEAVL3xT7fBvU0ilIcqEaOjZQEGeXpoNsDLP29zVLfbyh1YRXonVCY4i/pzSdnEXw0LgSBA3lQV5qzFYV+4cLzV307gwHJs/KPU8aJJUDMGBcqxjCdEem3jDryZODROsTkwoMfmsLEg4DUCfNpnrFFSwC6HpdBFZ+d+0Ym8FSuEdvmKZ22ivZWbZZL5oVe5q82nWrXAZWhTX8mwUhncX2hqmyAJcwbdisD81s5Zv8f93+yzTGcfZVZc1NT6X6wawnxvmZy6LN+tBsGpJ00FXnWH5MiUC/4veGySyNJ0KXj7dswvSluQ/MPE+PC4u9TfP8WPUgoWnF7wWzPnC/bexNSmxDhOlT874wt48xu4GsyWKtnTNdlquHBodYAWaAGWAGmAGmj17dKmGGOowKTQgwQw2x/gF430RCT24ulwAAAABJRU5ErkJggg==)
. Это означает, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADkAAAAZCAYAAACLtIazAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIbSURBVFjD7VgxbsJAENz08AAQ5z+g7VOaK0gbCVuuQK6QGwpXyUHnhg9QQZk3wAfyg0SCF8AbkvhszjLH3dlEISGWixXIcMvOztzsCpjNZlD1qDzAGmQNkh8EuOMh3lcSpIuwBHRWUxf7ALj1GGtVUq4uJYygM6/0nQxsHNGAddVMI7sVdr99MAy9NiXkBQfsQXVf/wWTwljk4J+xgHYJ4OuADboIsCX2eCLORZHfoB3YoDvtX6VgqRZTzUaQqZnARxyfx9dj4M4Lw3ZRIWxA73UyLgtEmZd5Ld7UpJYO3fhR1DhpLoF1VjO6y0ImU7bgIBgRDMnJ1YZEh0Xf0YEb22SSL1BPAjmoGukgmcvPCxLFzOXMIylAeqZszgWOK6SV5j5lwGR4lgVvfISdMW31FnKDtYkchJWcJHlWwCQvtsx9FOCSnDG4/L02RaIo6g5VJPAGox2MShnPUfs77pxyp1UA+A/baD/5zG/1LFwUjY5M+vH9udSgBBBRY745upFmMh7ZdIxbTbIBAdmXMZycsSVNu2Tk5IHklZU1WqEyvVRLGMxPRNqcVK5FYGUgqTmSdw5aJ1UlSJUMfiPEdTCB5bXZdvB4JvvYO0zbl2Z0pN35i+3ENEJU81eMEwvPXVUJMnO7uDPXXs10G5VumwlDvxlL9dkPw+alypOH/z4zGkLX17qT2UzUhcRk3qhUBmiSav3PQA2yBnl78QU6tftfxPJSmwAAAABJRU5ErkJggg==)
и подгруппа
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABMAAAATCAYAAAByUDbMAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAEGSURBVDjLY2hsbGSgFmYYWoYBASMM45NDl8cwqL4+VtKYgeEOUOE/BhmPPWkdHTwwuY6ONB4PWYbdQLn/YHnj6AVEebMh2tiHgUH2jUdevSG6XJSxbC82cZyG5bkZp8jJMdxgMI5aiOFyOfdZyC7GaxjYOx7RyRDXGd+Nra+XhBuW52Fo7JaXQnQEwDRAw++urFtOMbKLsXkRp2HIGqKMGRbCIgLkYjdjt1psXsRqGLoGkCtlGWRvggzH50WcScPNLS8MJfxkGPaAIgKfF7EbFulhh64BlkzkjLHHIlbDysvTeIFerEsrL+fFkpBRIgKvYRDbgakajI3vICcHQrE4REuNQWEYAJ90BndgfGESAAAAAElFTkSuQmCC)
содержит две подгруппы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADMSURBVDjLY2hsbGSgBDPQzAAgYMSGiTKgIdrYB6j4HxD/h9JQbHw3trxciigX1Od5GMoyMLwxjm7wAfE7OtJ4PGQY9jDIeOxJ6+jgIWgAxBVAG+vrJWFiOW6yxehiOA2IMmZYyGActRA5TMBish67Cbqgvj5W0piB4a5xZL0vLPCAtpeAwgHmJWICET0A7yA7Ha8BYKeiBRbR6QDmfFm3nGKyElJ1louRLIPsTY+8ekOSDYCHNDD0saU6vAZAE85reKChRRf9MxPdDAAAF9J5xNtjJpEAAAAASUVORK5CYII=)
и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABsAAAAYCAYAAAALQIb7AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFnSURBVEjH7VZBToNQEB33vQBNp3fAce3KkG/SHgB+WGlYmIaFNWFhdMqOhR7And15h/YCHsGknKCeQeUjNA35n9Ja7KYkE8iH+W9m3pv5QBzH8F8GR7CDgmXXibLyuVUwSfAK5E0nkgYAtPCZrVbLKAUyknwyZb5XsNChaxGyrc+cHqvZ7gwURX73EvGNXB5WszBxuFEAVVPvOBQ2Ar277NoEsEAR3pZ+SRJ0BMKM5GTQCOyXdPjK7Lu4F0apH0XdTVmzK8515TU75NHDZxlhHnEP5tAT8yBJOvXCEVe6b4wOhaTTdZJHDo6ra9ogyXveijOPYKr6aJ3DfA3FTBt1wacKSMeXEYzZtzLi01JpyrJN7hRvuo1UiR1yHgIOLNE/ezFlbiCYhhpx1E6JfKIALk19ZwTLy9VACH8exGUJ0RmNW5/69zcXpwj4UVeOvYCtFJepsOmxsRNY0cTLlSAMEj/+Fhwc7AfdFZ+mOxK0qwAAAABJRU5ErkJggg==)
порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAYCAYAAAARfGZ1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFVSURBVEjH7ZU/TsMwFIcfzOUARX3Zyt68K6DUEe3IkFqZQBmqyAMdMlTCzZYBLtCpbPQMYWShJwApnIAzAM1zKMpQ/rQJA1IjWbGXzz//PkeBOI7hrwbs4LXD82dv3bsyfCKpB0CZFzonCPbidDw8EggpyUmvluRSoEZ0b7tkTRHxXkhxRo46rwzX2m+66F55WrVFC+44cejgqJbkXAsKdaGV6CANrpMkaHQtmvpRdPgjnOWURZXXphKiS1/rJm/CafkkBJABydm3cJMG4CWHvZOn+wOCm3z+lgt8Lifb+ipyEhtwYVnwyMn42NwtOuGoOtyjPiA9eEq3eV0rnKsomx8Pj20EfBJKdyrBi0rslIWthJreS7K2h7NQFPMgig5y8H4hlLLVZpXg/DEUt8OM100Tfwk34hDnm3T7Kzh3a8R9VFIrXBLMPqtAkQZJ0tj9if4XfAlOjxvAPLuooAAAAABJRU5ErkJggg==)
. По существует элемент
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAAVCAYAAADfLRcdAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAG1SURBVEjH7ZaxbsIwEIavOzwAFc47wHXuhFwjMSMVi6koA6qyMGRArWHL0D5AO9GRZ4AHaSV4AvoMVWMTI8fEJh0qQALphMSF3Hf//ecEptMpnEucDehRYdPPlQ5fzswfBVSIfg0BVinID9TZMkySis4lSVhhBBYqJwP57CRsMOHYASDfreG4aed6SF5ZJBr/YgN7dEXjtSOiOAgC+ATsfewpH9y9m4oXwrqK+YqPh60mAdjsRqcCV30haq7/qHEz/rBVF9fmtSJiDaTR4OCCcYSZ7SV1Q8tbuVEStijKeX2bAWX+XRP6ODIVty3gtIHdrVSBIn2ygXa/x3H1rzYwgZRAmRiuWk5Y2TUB8qVvJrunNOo6tnqdH/9hG9hAup5cNJcF3LAZBPJJZ6sC7RYVdi1CmaPLbH53XKWL5rJAKVi5PK5Ot0XIvOjo8cLes1sbSB9jAbqbd29qHZak3X65CdibT7nM36t+HF+X8Wwch9XUAs/S50UPCnPRysOqp4j/+MkDH/Zs/rr9vM8Ce7BaDfnNOW+f7IuM2kjC5qEIa1JVvVynC6ueQmTjG8XlffYCe4EtH7+RXAYXOXvltQAAAABJRU5ErkJggg==)
такой, что
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAD8AAAAYCAYAAABN9iVRAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAH9SURBVFjD7ZgxbsIwFIZfdy4AwtwBuXNH10h0RQoWU1EmlIWBqTJsGdoDtBOMnAEu0CNUghPQM9DGSUyNSYgTEqoASE/IFuLxvff7/Q4wmUzgWuNqwS8W3nvdydD3Lx6eYZh6oFuo06XtuhWxN2a4ra5LBa92Uu9gVPiwgNc9zqti7bp2hWDyUkp4v5u4OwuhVhIqLrhDmwjQF3V401/zXpUQp1Na2TOKOMLdN5PPClgMsMZs3BZrh5COXrBSwTsE92UnD5WBuQqnwgsVYOL0SzvtR6NejSI0xxZ/ipoH+p4447QOS9Rqvd436Lt61hPhVbuIs44irCkqV3B+8afFrabXzRUig6EOKeWt7x+bD0cmpWcVAD/hexje9ByNanmC55GLW/RBHgfVERhjrUyXnKDa8C0ruquk5pV5xKm5GKXP4nP+9yA6t7ldpQgWuhqM4XWfFDEgaKjv5df9bLl84NABwiJuANAmbjAawXcxzISvHuxFdCPuzJrOijS59BBFSupwKvidTXiTVf74oBOwjUq0u07GBWbTRD82zLV3W/Pk/djAH1mVeGwI6QNolbfcT8kVFNxM3qngTSWXh+zT5ir0kVbKUPVS46eolLLPkqtYeO2BoMg4Z65EeCFPOXmLus39R65E+D+PDKWK6KKoc3jOXLf/8G7wN/i9+AVbS2lzJO11iQAAAABJRU5ErkJggg==)
. Но тогда
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADgAAAAZCAYAAABkdu2NAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAIzSURBVFjD7Zg/bsIwFMZfdzgAFc4d4DF3QsZIzEjFYmrFgFAWhgyoDWwM5QBlgq2coT1IK8EJ2jPQxgkOjokNtFJFEIMVKY7/fO/9vmcrMBqN4JzbWYu7CLwI/O/NAlzJZutT+zMjzvfbBQRYBptfQ5G9dcbjnOwbjzs5RuA16PsO+5HPMovokGMDgHwx1y/pfS0kE/39ySBnQk9vLsV7x4F3wNZ8J8NObapmNlVg2kL7Fjdt0DZm0K2WCcBniFTccNn2/YJpTIgi43dRFnGlfuu7rITUvbcWmWigWGiLQPyOsFc9OrJxhJnujXCc5pXEOpb5jD7ciNj4cUVor69mNg3b1Il6lPQFAtFza9j93thGVUSbIn3QRcTvPS9/LKKqiBbCXAbQtJZRoIhUgM+XGqFDokuAfMgNiChT6jYN1XCVRHM/oroIdT0TnkaBIetFeEM+bBxZxldyjEtpM22zpmJwyPxqwOQeBWkmPI0CxYBKhbzolSrpO/QTJlcE2iIanVlkUe0OykcJvGU3ugh5ZDhoDthONRSDBJohAoQthFf0CKV5RUaU1OtPFYc92zK08euy7XnXh3jQ8zr5AM9HsZc0amxWShYW5Rag3A7W6gQmfGNk9pT63Ypt92Dyu91+G56/PuhVXGTUxZNzXj+LyzZn7E4gGGPsdwoi28cUpZMVGIrC1kQ5ToLbCPm0YZIpgcKrp5ipPwmMD9kAxZqD00OKSOYyGN03TxfFyy+Li8CMth+mNN9bDdAUfgAAAABJRU5ErkJggg==)
, а так как
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACsAAAAVCAYAAADfLRcdAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAG7SURBVEjH7ZaxbsIwEIavOzwAFc47gNu1E3IdiRmpWEygDKjKwpABtYYtQ/sA7US39hngQVoJnoA+Q9XYxCgxOZMOFSCBdELiQu67//5zAtPpFE4lTgb0oLDJ58KEK5fNHwRUyl6NAiwTkB+o80UQxxWTi+OgwgnMdU4FFbOjsMFE0DYA+W4Nx00716XkmYey8S82sEdXNF47QkYHngefQLtvO8p7t69ZxQthsWKu4uNhq0kA1tvR6aDLnpQ17D963Fz0N+rSVfZaGfIGZeFg74IJCjPbS/qGlrdyoyR8XpRz+jYFSv27Iux+lFXctgBqA7tbpQKj7MEG2v4eRdW/2iALpAVKxcBqobCqawLky9xMdc9Y2EG2epUf/34b2ECmnlo0zAI4bApBxaS9UYF1igpji1Dm6Mo2vz2ukkXDLFAKVi0P1qkq4hPyXnT0OGHv+I0NZI4xj+LN45tahwXx/acrj7+4lEv9vexF0WUZz0ZRUE0s8Kh8XvSgyC5aeVj9FHEfP3ng/Z7NX7ebD/l1H7PADqxRQ30LIfyjfZHRG0n4RyCDmlLVLNfxwuqnEFm7RnF+nz3DnmHLxy+f7QYaQo0L9AAAAABJRU5ErkJggg==)
, то и
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAZCAYAAAB3oa15AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAHwSURBVFjD7VcxbsIwFP3d4QBUOHeAz9wJpR6YK5WICZQBoQwwZEAlsGXhAO1Ep4ozwEFaCU4AZ6gaJyQYxzZJVVWJxPCFhG3833/v/W9gsVhAmaPUyd8A3ACIyQDcxaFb49cLk7zn9WoIsAuS+4Y63dq+X4nXfN+uUAKbcI0FWqvCSmhuYQeAHNvDaVNc6yJZUsdr/JuERNpl0hDDMXFgGPAJ2H1PMWQ8vvHMSAHILsp6OR/TYbtJAA4J7WHgrud5NdWZUCrU6kcs4J7f6zm0gaYz0Jo4OsguIgdGIUs6+Y7QjYheK4Mc+8UkT37YE3M04ZkR5aOU0MgkE0Zh9Hk2TJZgVTTRfLFdt5pXQnySFsIqNnPym5KCKCsR0H/kK5Czm+wvpXNdQmKSUQ7kiylBJR8lgFCLddiiNe/oDKoEIDFbFuCm6TylWmegBJV8lADYgVaLfIidgA8LcSarZnQxWcvaoBbAM30Qk4xbqoHqgqQ6DTtEqDMOKSR0zbQsVuCalk9dZNdz3fssHnBduxrIZ8bukg03nZTPVadkzE85fvoxQCK1OnlddjS9By73pdd18vn1IJPRXarHnEVpP69JCwMg9AZ2l6V7TscGZMPtmv4LByAZMp5do0brVfeeKSwD4WgP3khFMe/tL+UNwB/FD18tvdE0jJqdAAAAAElFTkSuQmCC)
. Но это возможно только при
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACMAAAAVCAYAAADM+lfpAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD8SURBVEjHY2hsbGQYLHjQOGTAHAMEjCBMlmNwaSYHl5en8XrIMOxhkPHYk9bRwUOyY6KNGRYwMBjfia2vl6TEIfX1sZLGDAx3gB77R7ZjqI1z3GSLSXYMLHqwxi+SHC5MVcdAogd7kMLlcGHj6AVUdQwIN0Qb+8i65RQPeDSBcJSxbK9HXr3hgEdTfZ6Hoaysx0p0TQMSTSBN1I4ishzT0ZHGAyqcjKMbfKhd+kYZMywEO6a8nJcox4CjiMHoFKUFHc5CD4xlXyOnRwxX0zqKiKooQa42YpA95ZJVbVSd5WIky2B8kpqhQrJj4EEo67EbWw4abc+MOmawOQYAi+YT/wJ8ge0AAAAASUVORK5CYII=)
, противоречие. Значит, допущение неверно и в равенстве <6> под знаком суммы все слагаемые отличны от единицы. Поскольку каждое слагаемое есть степень простого
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADYSURBVDjLY2hsbGSgBDPQxAAgYARhZDaMT9CA+jwPQ1kGhtdADf+NI+t9o4wZFgLZ/xgYjO/G1tdLEuWC+vpYSSMG2VNycgw3jKMbfDo60ng8ZBj2yLrlFBNlQEO0sQ+DrPHJyLx6VRCfZANAzgbZDONXZ7kYyTLI3vTIqzckHAZg5xvthvkXFHjgcDCOXkB8IMp6rEwrL+eFa2YwvoMtALEakOMmWwwJdSjGYTNWA8CBJSu7EptfCRoAci44sKDOJ9mAaGOGBXBny3rsTuvo4Bm4vDC0DAAA9KCAucMjq7YAAAAASUVORK5CYII=)
, то из равенства <6> получаем сравнение
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADQAAAAVCAYAAAAJiM14AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAKGSURBVFjD7VdNThsxFH7dwwFAvNlxAOx02xUKbgsHGEZZtcoCRbOAxSxYmOwi9QRlBTu4QBcNFyAnoFJygnCGUj977HE8vyxIK0okS+N5tt/73ve9Nw6Mx2N4TeNVgWkEpH7v1h6M8tnmt9Ve9TLLBtsc+M+BlFvrAnOR8EMV7G/YEXfDyWSjao2Ugy0dV5ZtdwYkY34EwOfrBGPHqI9n2B+dNa2RqdiLIHrYPzlnrYCIGQZs+jfATCbDDYF4K1K517aWQCGwWRVTK5NjDtdVGQq13TYP33exazlFB5ckN3993X5iE/jxdS0gOpABzsIMGd3CXB34xJOLw/OTfYYASyXLBTEZzgu2h5tiB+50XagRJooCpARqO4rpKH4fU4Am+3Se8hfLI7cmON+xFKgpKMrVTSWwifiC+PEmlfEuSTNJxSd/bvdakCjS08I5/rLJMk0HFsCTq8IOj5Qw318UwQO903JUyfGTkid6YfeUAGkKawBpsMhmnItvJAk9Z2zai8R3N1dZpuc259Zuwdj6OYj4pfVtzuP3cSp3XX3VnFlivgsgQzsubYbNvOiENLeZqmLaMGYYqrLrzurVg39euL8zoDrJ2ez4cvCpNvIo5KYT431LXK3kDOpnL/hcno9157n9HqOdJFfbFEjfKG5tgL683FwFmPb51xUGVEstCr9gN+FwRevJpsFg70cPezfxqP9ZxPKD85dlm8X+8nextSlYZyGFqcBTW9x2jZ8VHSB1sWCN7W4+eK8BLK2NGoruovk6I/18L42AmdW2XbZVXC3wvu4r/K98XJuuZs++WrzkxdRI0MitGQzMw9ppvJy6S+Aar0BNMn1OXP/P/6E3QG+AXmb8AXBe/keSimx7AAAAAElFTkSuQmCC)
. По все подгруппы порядка
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABcAAAAYCAYAAAARfGZ1AAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAFRSURBVEjH7ZU9TsMwGIY/9nKAIr5sZW++K6DUEWVkSK1MoAxV5IEOGSrhZssAF+hUNuAKYWShJwCpnIA7AP7cH2Xgr40ZkBrJSrw8fv28tgJ5nsNfDdjCncPNs/PZuzZ8JKkLQLMoDY4Q/OnJsH8gEEqSo66T5FKgRgxvOuSNEfFBSHFKgTqrDdc6boYYXkZatcQ+3HPiNMCBk+SsBYU610q0kXpXRZE0Oh6N4yzb+xHO5VSLqs6tEqKLWOsmL8JpeScEMAOSk2/hNg3Aq4G9U6SPewTX5vvNFPhSTbbxUeQkPuDU8+CJk/G22S0G6aA23B41pMdI6RbPncJZRbX5Yf/QR8BnoXS7FnyuxC+5sGWh1nulrM3hXCiKuyTLdldgcxuXi9WC82WYn47FWDPxl3BbHOLtOm5/BWcFtriFEqdwSTBZqUBRJkXR2P6J/hf8A12xG8W3Om9LAAAAAElFTkSuQmCC)
группы
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABEAAAATCAYAAAB2pebxAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAD4SURBVDjLY2hsbGSgFDMMDUOAgBEdw8SJMgSkMMqYYSGQ/gfHxlELy8vTeN2M3WrTOjp48BpSH2nsC9Yk67EbWXFDtLEPSFzWLacYr0ugBvw3jm7wwWZBjptsMbocioLqLBcjWQaGNwzG0QtweTPPzTjFI6/eEKchkDAwvhtbXy9JTABjGNLRkcbjIcOwh0HGYw9yOIDFZRl2QwP3P4Q2voNsESIs6mMljRkY7oJiAJs3oIH6Hz1QSTIEFKDYvIoRJtHGDAsYGGTfuGRVGyGLw72KwwLU6IW45g7YxvJyKVggwmINV7RjjUaIi5BSKpaENwRzMV0NAQAYqL46wntofwAAAABJRU5ErkJggg==)
сопряжены между собой, а число подгрупп сопряжённых с
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADMSURBVDjLY2hsbGSgBDPQzAAgYMSGiTKgIdrYB6j4HxD/h9JQbHw3trxciigX1Od5GMoyMLwxjm7wAfE7OtJ4PGQY9jDIeOxJ6+jgIWgAxBVAG+vrJWFiOW6yxehiOA2IMmZYyGActRA5TMBish67Cbqgvj5W0piB4a5xZL0vLPCAtpeAwgHmJWICET0A7yA7Ha8BYKeiBRbR6QDmfFm3nGKyElJ1louRLIPsTY+8ekOSDYCHNDD0saU6vAZAE85reKChRRf9MxPdDAAAF9J5xNtjJpEAAAAASUVORK5CYII=)
равно
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADeSURBVDjLY2hsbGSgBBNWwMDAiIxJMqC8PI3XQ5ZhN1DjPyD+z2ActZBoA6qzXIzkGORueOTVG4L4UcYMCxkYZN/A+HgNqK+PlTRikD2FrLgh2tgH5Arj6AYfggbkuMkWM8h47Enr6OBBNcD4bmx9vSReAzo60ng8ZBj2yLrlFCOLg71gHL2AYBjU53kYyjLI3kR2Pig8ZBmMT6LbjtUAsPOBoW4cWe8Lijb0wMRrANz5np49xgwMd8DRJ+uxGzks8BqAzfkkpUSg80sI2YjTAFDcg5yNHs8U54URYAAArTGFNVEJVwcAAAAASUVORK5CYII=)
. Поскольку
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAC0AAAATCAYAAAAEaoRHAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAAGnSURBVEjH7VaxbsIwEHV3+AAqnH9At3d0PdC1EomYijKhLAyZWpMtS3+gE3wHfEgrwReUb2hrhzhynbOTlC4gIp0inaO7d3fvnUOyLCPnZmcH+PJAy+cGs39N7onry4sGW0Ywlh9+Sfsu36XBfpqmt12BYX4hpgMgZFfEHfJtnOc9fZbncY9TsqnyQ7Rq1WmR8BEl5ADRclwFGpKtncAHds7owk6IN4geeCJG9lkI9BXzNwSTnRVioH0FCMuHjfT4Xb1DmCUMZkFA3gmE69okgvs3rEHOYCGQtR2o8CGd1mCLcwmWsvmiDXWK6fHoCWuQmjSwZNZaiCXf9jARD3b3NF1+JVa0kfyzz5pMA9P5zGLVBDBqNAnRFuEOo4Uh2qKgLhvGBGZOUTWCAXt2acdNjZaCMy0CstL0aAJvAzsKn36oInzUQEFjo+pqmko+8CoPY8ljjWZSRz5q4KCNik+9PHwrT0z4nZ1Dr78A8K2Bgq42gKy2Czddt6frtkvTuC+p8RKnaf8vU7Yvk89KeJRv2nC62skuszptChcTdxM1rn95V9CXCPoHquKrowLpDQ8AAAAASUVORK5CYII=)
, то
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAARCAYAAADUryzEAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAADfSURBVDjLY2hsbGSgBBNWwMDAiIxJMqC8PI3XQ5ZhN1DjPzA2jlpItAHVWS5GcgxyNzzy6g1B/ChjhoUMDLJvYHy8BpSXx0oZMcieQlbcEG3sA3TFf+PoBh+CBuS4yRYzyHjsSevo4EE1wPhubH29JF4DOjrSeDxkGPbIuuUUI4uDvWAcvYBgGNTneRjKMsjeRHY+KDxkGYxPotuO1QCw84EhbhxZ7wuKNvTAxGsA3Pmenj3GDAx3wFEn67EbOSzwGoDN+SSlRKDzSwjZiNOA+vpYSZCz0eOZ4rwwAgwAAHlLhSVc8LHrAAAAAElFTkSuQmCC)
делит
![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAwAAAAPCAYAAADQ4S5JAAAAAXNSR0ICQMB9xQAAAAlwSFlzAAAOxAAADsQBlSsOGwAAABl0RVh0U29mdHdhcmUATWljcm9zb2Z0IE9mZmljZX/tNXEAAACYSURBVCjPY2hsbGQgBTMMjAYgYETGeDWUl8dKGTMw3AUq/AfCsm45xXg15LjJFjMYRy0EsRuijX2Moxt88Gqoz/MwlGUwPhlbXi5FtB9AJjPIeOxJ6+jgwash2sMjGaYoyphhIbr7UTR0dKTxeMgw7DGOrPcFhQxIA4Nx9AKcGurrYyWBoXMHFjoMDMZ3YuvrJQdJTFNVAwAFnwCX8GxfpAAAAABJRU5ErkJggg==)
.