From f95f79f4b4d42e1129564114e3c83c1154f66dd9 Mon Sep 17 00:00:00 2001 From: dmitry Date: Tue, 15 Sep 2020 12:43:20 +0300 Subject: [PATCH] Added task --- semester4/Proof/main.pdf | Bin 0 -> 10245 bytes semester4/Proof/main.tex | 25 +++++++++++++++++++++++++ 2 files changed, 25 insertions(+) create mode 100644 semester4/Proof/main.pdf create mode 100644 semester4/Proof/main.tex diff --git a/semester4/Proof/main.pdf b/semester4/Proof/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..01bccf54d60a45a419432292ad0b2c49a2c9627a GIT binary patch literal 10245 zcmbVyWl$aKwk_@+BuH?##ljcv!QI^@EZp5SxC9Rl0fKvQ2(H217ZBWC-afb9tFw2V z{mwo2{^|Oy`mXKlrvT~u&?4F<8qX5~-*~lGCKcNT+0Hkcdt`^P! zDX@vFg@lEfgSiDj-ooC>)ta1>4Jagp;^OLTVPc2kx!j+spw!2P7Jl{|?YM%0-n8Q@ zqlPK%xEVf6?5N#*GZ6F^&|@>rHA723%{i;UbsoR5D3M@&miV1Hg0$qwm@0lly{heepkTsm z=Gw{3_HOKIlhRz4v45qw{B8w#8D?&lBL@}0TBTQbAnO*oR6M!GHE>+#fxgj}YzRkC zR!>5ROpz((^5(3+L_Urda9PJ>&M1zk;B{m!Pv!vV9+`ly^c#KbrvA{t7(>0c+@FV4 zPgJQ)38tkK`VI~zgwfa0Z{+r0u=vuAak(& z8DukaV-pi&bMxIR6tqhW=UMk#^f*pVsHnx=7u1KFt$px389SP=IbpyM@Fl_Om12VO zZt62c7&Dm}7M3c6Ji+{a9FwvOB~Y3x;oOx1K~qY~K0myvEJ{-H0V0|4n~(+pVZa*! zL2BXwKGnE0SgNihIKQ~KH7+I*#rL*bRU-v zc_zs!s;b7t)kcPfRcYyZ-_wjz>`TiEmA~pF9XlB-p)nUlmN(S7&H#Qi4?SXI}10)neaTMzfW@84o+&HHgr4`&(4lczRn7kHCETt`A;~kca&||@s)VoXt=p>E_f`A zdUz;aEFA)cJtPO3z;Ru3;8ZN1y^$+Cz^hGH!b$Trr#pxh|LQ>?JK3|v+p~qo#cpq1 zAS(hf(yL1t7a9s-I`8>!DggAqr~ocDp1-XC7pItOG>irJ+nbyJssQu1)2GHgt9M73 zgyCd$F~Ym){zDvZSXPNX2mP115i(zbg0`~ABcI1GDK}69rQOJTJar<2QWFzXOUv_x z85*g7b$4q|c6Sefy7KDiIRpzOM5%PtdZwnQ^*{Cub$6@w0C^heIY2uVEihtd9!;?Gb*U?6Fb^H z9bWV65cDJHs!mAX?-D$by-Pi{J#q(cbhzC7KCM_wo4G9ofPU-^4WEvZbP4+FMa?&I zx#D{)xTkq=DIVnf=ycJ&3qEC7<5=eHMD@kQJ#klX!wTT%dpCQk^KLKaRY=8jt8a88w(H8( zg~T9j2QaDi<2>T3!G@!ApVj;+hd0(B?sLDd5avELX%#8ysfK=9YnuG-*2AkZ9Ml^A z;Of7Y6Z?PECOEjc|6D%?Nh{GIY*^uEe$o2wCiPN!K2X@+IPHtDE4R>`achCJ6ayAd zx5RYzI*j!GPOrOfgUEON`3b#A=Y914Fmgl`wy+&UXo#vk8bjpKGAu1QNV)AyZdj*A zaxa?hB4T{k;Z4zLERE+g(GGdQ&q>%n!siQ`8&sxm)ol`POM(vbKf#x_7lz>K&utna z+Wa7}$g&!E-;sS~E%V9x8DvFAdGWJ<%k_xGH4Ka^GZUC_KC^UK*_yc2q=_dGYkO9L zK((7X#`^TGDjT6v?;snoH<-Eagpv$=J#~~6!T`Ywp7k;&lyUK}fF63>YO_TdDGv`w zMHuC&%C7ayp|BIQ6M%e;lU9l0j2HMI_#wfxTF=v<{jNdWIXDq#&t}Ueu0flEB~2Rn zD#a(0s?rpV9TfNaym3V4|H7;W)8qg6GN3lwloHJdxVeZ{RI&2s@Vytw=5L{=dEH^T zkb$I+x3;v!5qP+rKn_LrlAAJ+4MgVgBnI4*Z1{Vk$C{QdNPnxuH3?FrHZ2^c1VYLx zx{0XCHHAu=wsF0-FKU^&(BjSO_~l>ZoR_RQ?JBb5+_7sKC%;@#eDT6>7GpRu2v*=b zFsr@lgBi{h;yN+AX3KVUkk+9MEfT(J{&+@eUVAi#w=Q-(>b9BEnb==!51dw^S~ z7Q=PsRQ%F)i7Ynp)WS5xU17}TfH*P%Su-3Mc$j_*_6gLTBI-c?lX$Tt{7HkG%nZXQ zdHxe~kG%=M?5CWwuU9$zX(ih`44EbSukI(Ac1QEVUEY1Sl|+3#!Tox!%YHP!Qb`!p zbfHiTw;5z4kn$drXk4x?%?hAX$;7bmJ|@%m#=oAglzJl%Sm9w_ z!E?g&E42a@jjz%>YY*KmsOqQom&*0>nNPD}{gy95>^DLoQZG%40SU)384&y|&cjN{ zJ-Vh(Atl=N)yIg7=z8_Ym~JtVd{Vo@;?cgy>XfNs#VP`gk={YNvM<@*vC9&6#qO$Y z-*}ch2_-*Ps+P_2PU|Vbev|f^O-vpiMQbULo zbPqGf_SK{?K9a;^j#dj!s0O=|-t4f2*j~`d;!3^H$2?^$)k;UJ62X#uXm2wj%n4t* zl4lpXI4?h@xMVabCZl_S=2&nXS=+eJ!#?bof-^iz@JKQ)bX_~nCrfNiR= z%DB|-oHA^1s(AIFRx`?Y`?dC|Fv4ro$N^(gR?aP-274!*X(+x;3Wx=D^24QK4}ErU zS^9>md)SQd_oU$Cng!wh2#E*ieUvE?q3?mPhE=>j6}{}j%9qHu?DTrlMv}3gj2c9P zZ$YBOVE|KWi(@9%U<7L}3et%AEyI%9l71LX#VkxbUm*W(4*7sM8)LSc6J^_nk)y_a zUj4AwKUz0QN$bOQSoNxT{;Uq1H+?9JV?u(l5^AiJ^HllaVWB(5#!oVs$56uCd%6eX z6h{n-??GB-p&`db`-r`)D@?u_0secRwiLU2f**L z?xPN}yYL2_y;3sSs^QtD`Ng>8+Ay`S4R@JXL}p`DIjuJ$J{46P&F z+vZG~0)sf*)w2&A&XD79(N6E@0Pf}&=>|QtE00Aq(0sm#=&OlgzbI%lU$4AU0+Tv@ z0;g35dI_^b)d)<8N-sS!QzZ)0g7+2MdFFkHCVI}~^V^k4!L(kip(iCBC4xS3?l5VH zK0Y^RgcCh(?`btiV?OlZOJ}u$TzFpYwpxW11+x4+-5>FXqY(vy)xOn;F_a$p(M`=Q zcwd@31(4>VhS|pNI#CPDKT>Nh<)vp>H=U_&8FJ$%nhOZ;McL;NUq+r{UH9o|DU^Fo(~2GKq8_{6-BeErxU%*OZV z&qj@rYeV)~BT$YhB^ck`li9wmc3}=2#Hb4W<%h0)-$?2PkV{Cc3wwD*&)f92mrn~X zrO&>3UHq7?nm(&zu`iy(Ex2I6$?3}at;AtfCs9Mz4^~G%mG$Lq)D!l2?ox#+@ zM56nLsuSa3ZQ&2>CN!W4#vZF#F^m2|5EduPCepZBUhh0<3O%YE=yb1tqdXZVm6sJD zmY0NkvSM$S((QE+ZidL)VEx7NkohCVoUZ(eYnLIWn{jBLfvKMh6kp5K7KT~aZ~+Z8 zOOOx)l}PT1c))RTSUf{KC$_pPBHu45ST-)+T3^6kU|&?AgiKGv{qXOj)}}(^y$dVj zKEN&X%)Q?o5(5LqFm!IVg6SvlZb=o@;MaYo_;!+lL7`+W2~CEcWymc^DlW9?o{^Um zvzdcyzOboK69X_nJD_6A4};I%lt6AtLUs_gM1>_t;c5P%r@mQT zf808`m4|CeG9Io36ldT49_t;`Nxvt3g*TZr2;C^~s9aMjGZ8aHS-byJVK zdqNC?yxX~KI>1F%h?W3i!`z^w^#4@zGmLl0%P-zar~JKvIfd@>H~pXYpZ)*eNM6oA zn-p7Vbz{@1b7N!kbmeX~G-yO9VsjY3e~rz-_RrY=V{O64^B4K2p>8LyXMx+<9Cl}z z$3(Vv6A`oC29J-f8pCn$T-%DyWp75thAW)MbUlqNi&|_}3GPluZP;(}Z3^^7j|ns@ zG!IhOyQd)1j*)X!+!>U21SVSR$BbSY-qszkWYTmBD^7qWK}ug;lCGxJ^+_aWIMdz+ z^0f^81)oGjoe~eem5(hsG-sN1f4<}f!E$=*C=Cm+pfY;3>8=wspY&Wx&2wKrgtT1{ z;!2j%4SuI^^HZ%Czu0!SWjBk;$z+bsx2a?`uzoY%3s`*`yLG6y`TXl%i*DXW__a9aXY5>wn z3Y1N%D^>Y;MsM|$K8vX|K5gjsQ0Pjky#zGCOCm^y*OZAz{>CzN21#b=1fiaA(XLP> zs2XM-#zlX7)hsPz;KQdvDZ@QuyCLmJ>&$0V!_Fqu)=@Id$CIo41`BP!*0_E<6{bmQ zzb_KE&A?8m#F~^v^7W^hXOeusgT#C?2n0ioug|h?YO@$QU`t_&HcCKc(?Ur1+foYx zvd2a5O==M6wMWBxwUg2!zTJp`H+HK>btLOO0f!=8vRIZYu@dj{A%>l z4spOR#jAyp2|J9Iauk2y3Tyb~Qk6*OlTqKf=k%h%ONM5c)$ZZ3?PCn&Z*02{z45wy zAArQwDj0j}|9;nja*b#rXNW<-o-0BAD@o{&T!4J@#4Y+)m|L)1*5?I$L$o;wb6nZ1 z0c0OXMt^*&wN=iN7I60VtLht-#NNQ3PR<-k@!how=Q841JdfzR0EuA#_f}3^S8}fe zyTf7yb}JUyP73;8J2|T(Fb%{{I)|%l$}krltmJ(j7-_q5T$^ErP2F60MYo~U?lXcU zg`aSfb5?ez($vR7y-s*TcSEt(uv2${x-sSa(xe2E&?F08k!mRnS=j3^eS1PlV^Te_ z8{Z@Dn^~pJ1Ukpj9{35a#q(oTN0A;E&nkC9=1rUjzm{iCH~IQ{eTKr893NDbP$D7W=~2O%%UI zTzoW*5I>M^gFoy+k{UiRV-dB4_7+IWqKW6wh^485F|NoqTX@hLv*-eFldyZo7#2>e zAb))M&V9>MH1s<&XCz0>t2PTDo!qs~=-|jA`k)P9O_rj?VmPt9jyfC}u~g{&Mhi@O ze|Ru&%_bY|&gzDa2FImG9eYdGh;qaCH-z*bjbwnle<3?#W#c?Ns7z)gYG~n)P?vub z^-p&8e@b)g9Gri7TdJm)tC|J=pTcIi*L5)Zy?zbsH z5u(hLq$Zgxh=pzP>i08?qd#ua8p`^Y5#C$#!()#|F0-?a@y7AF3{dSH5KgK*s~WlO zg-v7#?{#?v_@3#VzMP(|KegTY>MLsEM~p(M82lOE9thkw?#z2SDRnxYhxYbo@dhCp z8HJ@YN7Ejn7>TsJHpo0Ikm9qw(gkzufTfI^YLfMMsl7J0;Ha}MtkwQ4$208=Lb6uD z7n2EZ_b(mHR^paswi8OA(Uw(>?Y4P-{>RrrDgVZD)m!~W`LZt+je3_&5IaBBVsOe_ zg~i;oY$d0Wjsajs_VZPd4^v9H)bB)Zjmm4uCFtMSsj7bLO1eemsWS1T3-cfN87jY} z$yBJjIcr{hS$sE0Y(7mH<}RbD3*cw1;C;xoMUB4HCZE=mE|QaeZQHBaK*8u~O>+_6 z7hOkL7i?!~uWUEEB;B&xKiPC?$#B8`_|wd)jTd90bTy=X?YaGXs*YLkV3-Gr#^|gy zs`o?1=5g2_eT{BN))zn6`hIKNRBe%vdO9ssaMRsOKqxn)$qP*Sc?QAy zf-C>mCZ|k^V{JOvs$W2ih@JqRJ_k2^nF5#E0DpLUMQr+*O-^ErjhdiE=JW^~CMMlh4DC585#0b zRz#D^8XfmK21B$S?ieFvCNACWGec1E0N4v(xsb2{=hrw*TNmo*Sc-G3YOxUxjCToj z@%8R~Sh3pqWmpG+aL?C~fM~@nbnW0YzrGlxXFkWk4-Dpt;sf(6tJU2tR%qcSKZW4v zMSS>sE!pJae#E2zqtdzVbML*{b+FF9`n=c)pP>B6L;c2`i$|2dUKMUeel-NWgqBAE ztC(A~MraQ&Xr1N8g7DLKH2VpwYm`r6#-UCTk({XRMl@kUnSwYya`U<&B_a9e-O_CA zO=soy2r19meh7W<>mkGDtl34g(KY;+QAW_`sl+T9Qkw9`9Q)R1G2hy z>J&`TAbv2^J-r8%D4BnO@ap!o^mT7If=3#h*sJ0jd2e&69=z)`nY`!Z;|}$8Va>1w zHNFyxOrf|H5=9Lkv17 zg!~Wm2Sqs67;?S!E@Ovu8i8BeQC2=bC>8dnBMid;%wjxt_46= zT~Q{)-u%BoMbyukh)1N01xc!$pMQ2lVs_|e!vPkXgI^0Dc>Q@hA1jrdmTuC7h75d< z$hHj}QUXHj9XjtQpwsTq7eZA|?-mdZa{}uRwySCf)4vBBaV^uMD%^LUUBHK1veE*2 zu!`itDo1v*A-WoMh@YS}kSe{|lD?xR&GfGJr&agGSz!t`BvyuP-|j6;{D3XQ5?%Wd z8E(zDu1blWcyZm~S8ck@)CE<_h>3 z=fqNEYJS_=LcBCKeVGC!5yN4MxFL&mGZTRR>NgeR+!b!wbZMJ!-SCO1s(14#hhQ~@ z4vG`5l9WlW)xD!Hc!+)cwhs)G>F0<7Sr42!agy!^ZylKRbWJFlu9H!qsWaJ?)if}4 z2WRrdtcBEe?v_156JBu8o6NsHJ6;cM{~LLIG&aXkM(ocMaB6UQA|#9|=AT-eGS*#VCh4S2%rEBWCYPA4X(YC|UCS{wf<= z(UlBTn27PE5qFZL`I{OHHx+fB%x+8+UtmBr06zo9qs7DeaSYqk6LS(_qCu{U zxt8<8Uvfs1d;YCIv-QT4ZoOfG@(;8K$a_nOGnG%9^OR34v+gHa_XyL2UQeqMZWqiy zWYxkJ&do4CuFv!c;YPX{8n;U6Ej2m7R;=0Aa@r6YGNg;_N2sK~B4LV?9g_Erhhn4Q z6Wh#Mr!&|6TGeM@g2o#PaU_EHBlihfQAE+=Q9(l0tYNvb!4h+WL`^}+wV{J+PT3!J zw#T*j3I z-Tv~Wez#AQ1SMzebIkb`HzZSg-3w zwHp|&&H_)JdXkAq`c?Xw`WVwCiAR{M>sWGdR4eMkU0q9D$O&Rf4O%#h%}Yy5`(Bpd z5o9bydSx-1d|521_hz9u6I^k~TH(s#q1_tfV$QvR(qUAxoE)Jlrf@W9vCz!eyzy=C zt2hdg@9aTXVX;z^UzAziZ?%9~uvRhfBMwrwe&O8ZdnlwQrD(f;q6Z1ZO^$f&5J%&S zNL>($XH9Kc~;MzFeQ^Z{>giF3QXG=c20OuU^h5jx`a z4OlCpDv%*PGdDB6{aV&R!l_w2q~yXIgVv7PbSV!PpPoLu#UjW#e8?s6%7HVo@!h(l zd>q{!jjG^_e^@Y0 z+z=EF!Dfdt8aBa&kyx^v_-EDX_M#qtm$JoZ|>PU$}=kkZl=vl#0cU0<*)8eZ(6m@s{V&!Ho(S-;(-|GJZ6+5zIwiOq=+P7UP>jGRhZ6Ni~XgRW*}$7UZeS ziK-=;v?S)A$iZv^TVF~BXmO5`-%u!2%PV`4lTQ;Z0(j5Ox}a=h02}C45&Q2U5w#W3 zZPw~S<}MEW{^i(_ThCQ!lIFUz3OBRAArOLv*taU@hObKeeI)tJnWe0x_1a^r;#0)) z-xk1)AW#d1uBh+M(V@qZ-i3v61O%>%`UM)B@P1Fq4w`AmF2)AL3*HvNx2t2z52H4q(E#XJ_be&JfN&|we3U~amp>S zJ)}&4oR6n@^j5M7AY+f;{1nb{oF+nn738ypm*jdqo^@ftTIKOAwfljIX2>XI zN*;^?9cU&d=gWdK?M)%_qcGg3yjYvyoJ{6aP{f{I49p;Q((*Qcb=DPae~spM&H8F4 z#NbjywVrNkGRh&)bzN;!;0N2rDm;eT;C^4_C4$tp>u(Krn1yr?jeU%8KlOf$2NZH6o&YzSIf&DY zotKy0#KMBj0%XBvX2!-11ag~mb69WzErkC2Cky~;Hr^H}9J~N6J>Vaq*$w_JD}w&) zwOPhS(Swz-!nRymV1j!g5Hl-tQRGnegK5&^K+;tlQ#?