From ac61d236f85b49a9b03bdc988a8240d197058d74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Veli=C4=8Dka?= Date: Fri, 14 Mar 2025 20:43:06 +0100 Subject: [PATCH] oprava preklepu v dukazu vety --- skripta.pdf | Bin 110247 -> 110236 bytes zavislost-na-podmince.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/skripta.pdf b/skripta.pdf index a2181bd042dee6b64bbe693719e6b80419ce85c9..69ed26b6741e0f9e6cf12f9091ffd528de37065a 100644 GIT binary patch delta 6141 zcmVX8cJ_>Vma%Ev{3V7P>U0ZJ?H+Fu{uju$C8W>$64|#Z5 zD|$$>StQw)-OQWE0W8VAz-$~~cMN3x?{f}sMY721mega72Q!8tshY)N9iGc~ZtTNf z4)P%AKY6flu+lG{{~aEFq-%eo|9^M*=eLJ{{5Po%^pOFh4{uKgeKX`W8%S>gT;EYESe19vL`RK8!=_k&+RqlvfQoZgI{A;lu3_qaYor&S7?Sr~d6>boO9 zMxac;@ECq0L+{`Oe~;xik`MVV?RYT#H2it|o2hU*<+0&Pm^(gWeWP_|8)gY_D6EL% z;*30tO;>qTxXUHloZ?S?U!G;g)Dd=(HWBA#FlDy1>qn)<;A?&Hfm9nfF4&khW-va#CiJ{KK0O z*@*QdqD$nx`OTZrOlHx-2uNdom&e#3 zwn;5UqB3FVfB&YTAey0i@t|E6u&-gfI=zs9dP5ss&G`4@719u5ANTwf_6!ULoNOL_ z8>Ei*dzBZ=@(e|GMth-29|@&#cUR3q3=Aso#m#V6)#9u!8}ZX{BDJ6=m72zUGn_{+ z8myDuJl!tkiH^i3UMm;IirIX|)4J-B-@G|WV~U38eQNDM68Y;NiiwBjjACkr?KkQi=jJBuY8*& zxCLnvxvL#;L92{UWBz?8f0ll=g=r^p$JX0rEBJD`bHQ-*VwX*8pivgUplpNCJw|04 zDQJ>$ewqnqD>u23cZ&l0*Nda=t)TLG z3=H4GFPfOe^s*q^4UuG){S1N_xxpaT?n*M@e`H6nNcQ$wc6JxNP-=rQm1VYOlp;wO zY_dZ9cZC`w%a)PIludY&M+K!5K4n(tndzm{l^`f83KKtp@p6lic%+F)vIt^>MIRIX zH1$(RF1BD8YOvL^BoLXD_63T6v5M#Ab*##jMQM65a6PKjfbOG%JlTOfMNh>6(#qTt ze+7+wGKa7Q`_VsQ-ev`@5>K-D@%=$Q+!&SV#i1mH###ob;6*yN}*z+%FT6 zbI={uq`%#&WUV8Ale7RW$}b3>u+8e$^9CnaF0<>*H}iGYzY$xRq`b%xMGPh-D#NYQ zM?bR)g@P#}BSLna>%hdsk(0_VhGv4^f6n93JlEnhrZxdBkHWRi&^3W7DP`EP^Zd|j zW0osI=wQ3THY3|Mm28a4yA+-LpcXJYM zWI(~`E;yh~oU^rvtw_s-7U;|?ZN-r&IA;=x)@J+h@Wa@EIHHB<49HKDEk;rYe;a3j z1v-*0M6t~NHiE{jB?J7g%LXn3*ph0 zP@xdxDa`_4jO({cGaPhMK|R-TfAPHP9fy$6p)-mo541urTkq?)Z}(FR(h^$`Hprr2 zPIrpq!Gso*q;WhLs+>anIgIsk>aR>f7{7%%=b-R zQ)*5QIN>`5(!Hlxgj3FJ9b2rDC*jFKd3I@&wDLKzkpPQFsdtHO7pIhzTb~|qA*A3o za1(wY!{sByjDE#51Eol^XjFxGWtC}21ZJz0K_|~;Q}zdlFClF3c01OsSZ&65BZOFt zFjnnH7zF#*Ri@0kOxOw#e^(I$K$4fh@4+siYJIi%d8SYp$831IALoAv41f|JKhAZj z0hm}9NBn>quk4f?au7-$4c?3sWLo&lqVoiqU#yg7Wwwb_SXz_aMC-cL=_2K-egfZB zIgSv+Sz|!sz&r7j*64f}c>n90qY`*?H%@60iBV^zAtte55(-!se^ImP9WOg$i~V~NX#5N!aP5ozc>;DS9=ffVw`JERoy}Kg8IfUH z7|EoGvRgk-Bn_o>f2%%e6nu0b?!cr-ugkRrFi5h*(Q4!wwfWM9u4F}sTP!)-oeufj z<*HAHAece$-}?c&Tix3`G`Fi8d15Z{u@t1-JKd0~KxSNdpcjkYJue>LSwDgbdZ08q z6vGJ|%ogykZ@|W_z==mGX`8((S)s2ln{~WX*2-d%o|4H8e>6T{08|0EbPvl}vS>&8 zwcnt6x*W=g;&w{7IP7z!A4<|DuB)T|glgH*AzGIZaXSM8dt0lq(;6(w zK2!qq#788bf8J~;1CRkbC$<<2tCT)lL)iR@Ts@RHF1^?$Fxf_bLeM!3&oQ72Yu2O^ zoIFLin(ZY0L(I`6V+p+-l~xn%NHntsO&gO9??Rq;^s|$v!=A*n|n#BpNf6i13l7Lpgev{W0$uTE?TsVbl z8&V%-zG1gm1TaN><8Mza1Oa?b#CJ%1WbaLwj~3B?5)*#{u}pbp30bkkEl8D~$!ZQ0 zXY8MtBHP~%7tUo&R{tXM|I?&sD~1^20=}C#TBx+ugKEuQoKYH)H{oArc^J?Rx|jLe z)bU2se^=!oo|CQuSYcChn5aut@wQq{&qQF2ih(;NquJZv4p#5GPxGf5H7nt!L&=Ez+treZ?CvR)1u;>chomPvqQPV!`Jc1JYQw>bX0cOR zl3h@qc)lLIR_@wvd%&q2l3u$nULI~cDvUg2iyyyn9+mPXWd5YMt((VfpHmgvJ<$vF zf3mCnAid8cf$;Wd7rCiG@0O12zvA1v^4E*-p_Q6^HAvh^Ms>pRhxGqWv&KIKTPOg z40n!+%j2l;BN%-rK#yr*7J;IQO|M&Ef9G59r#!2InMtPKDy@Hc-%`@d#zou^t#rX7 z$;*L-cvo)=hb|5It$kkl{z*A%FF4B%_(IL!fkz#{Nedp^X1Ur;3Z=@rB~6Bv@ugzB zoUgzd6UL64)x0JSz^yeI^z!AP;dXg*ijjLOi(h^BdykUG6Pw`-htzB z`BJ%UMcDniSdQLwiyf+OOPFW%e?opgNgap!lU0bsHD5W0c+a)2#*pu%bybqQ5`u!= za8zT^s=5%#l|{pTQ*K(Wwm!w!SAh-DGIllBEHpb`bN5+a9QF?Z83_0z)Md7>P1 z4uNnTRkb9k9t*S;gTPRD6E5^!e_uQ?;{8t5 zf*{Cf5&MkeSL~asxo>XBQ*md?7U=oUs9M0ed)~ry@|P@@BAT?|+cA+57Ue;4#UI%_ zBU>W>_U+*>2O2Z`Sp0297nXJe+&9yQbdSGu<;ob5pEm@$HlRSYUBzpeK(XWT5&9M*(BZ6 zJlR_A{0BZIfVQ?)iR~IWA<_fmb}k@g<1$8E9Us+>al*PSR&QrQ+Bk!9x9~E}6h%x| zB+C@4J}3=4?PIvR)cY-wp6aBCY+-$Qr;1L(O*_`1b1gEd&}vs3E@^y8=k+S{qkqx<=2=ou8WNMBX{=C0tDSXXQn@S4VoHx{UCad}a^w1w!#` zveyx$+vrwL>CQoBf7Lq6!7?(s$`~~iohGE1kYuGCHb-}KwNGTOjrMN0_Q}%zI|uV* zct==a>tTn$ zfBLv2&_dgceEYF%(91GKp0v_huR0CgqLJ{-&~4{VTB4(=i?b8) zv*(_;sB*qr%Pt5XVR_0W2IlJO;2Dux!lO>Exs;s{b4BUTD#X0a*m;u0t!AmqYu66; z@u>>)mKV*-e=dcOzht`R6=ayOBoIf)GeXS2%4-O5^TJh3$eTr@HQOMY{yqd>x=>J6 zkr=dctS=f$z2?YrXnF^t3V>CwC;e9k17lx8ICs7xxZTvN>x*CHRp%Opew*g?+~TAw zWeZ<6`4cLMyJVB6Wel*%BHKAFp5k8qy6E*q{u9DDe@aK50wF$GbU!><_dnaaH;Zu! z^re*(qs@3pSYs!&@JmY0_>>mS!C}1Qkd|uXMeO%Zs2Nugh%TqdT*gm3!59Zui@v>p zQC=Q+95c!Wshd5dek17yfC+dc$s@p4auEMAUb0;XrlWkhe%RrSuf7>O6rdeVg@T`M z7o*UYe{+%cPmyFK;Z5bTs9EMpd*KHSXyz&P2B85a+!0!4!WqumrgP=)*HgMe?(sh7 zAJ?;5LOYGALw@o6hH}1~Q@J6**xNO?pMw{nG0ONRWVp^)`W4Igl4?!a1|xDzB_)`R zZ+y1(&BN~^buJk<_wb2N`9NK(2d-es(XuZnfAgVLuJ#?Y-XsuHYP`UQN?Ycv{ck$}Qua6NG(Z>tj`=q(^=e^G&`Q1GDWxAg#})Y&Z#o z6pFTdY!Vm6r4opIhWP#7{V4b(Rn~_6{W#9Skmcq&7c$r{u-va1v*9DF;C#%6UQ${q ze}5G*o6p^&`ZTueRbcaZnL2aqQH9ceKSO@npuzr;?R2mxW8|h#x<5b38UgUc^OHVI zvg>iK;rU5;uJqykBwTBh%G@g|dgTMw&euk*e@FHDzC~F$3xib0c227YPHVRnMsl5V&0rHx zC)QdhE8Adr>**Y|go{sk<RM&|*4e&kwoTym&1VMI1Cm}n@%CYo9Srqt&&ie56;u6L`D@~{E!pLw zH#e_+RiS9N95(pXjLVEtYei3g;HndC5rq@A+X?HgwP&t$u4DJrH5_Y_#E(ZrScI{u zocPz`2!0yD_>Ymi|2#s1Ux3SXe}GG0D9K&Qx`8CIkX~}@2bXvn?qhPhW%Jy?2S{if zwO`P3P41R5= z@~H6Mr#hN^E|!Rv)EIv!;E}eD2yI+Gk34=4A-${HyWa}JtsHaT+>c|^W)@8b(_Isi z(49&QAxWsJub_0KQmk;~zijG*%hiNC-*sjj^H`~Jd=^Bxw3;)l3q^Zs?L&3G2)!;r z4$x+JV$du-LNY+yi>tQ4e+lFiT+dz@b0rYt23aBc6k=~1u9R$9giE;aO6XmN&UbU9E#EpQXhPYcyWJc?kQ2_D?`ftFD-Z#f8;p00&ZR%v)8=3 z`N~M;3!wXMq94F})gJrVWv|jsOfo&0tcZK6kR4HB_{<+7^sV+D)Qxa9Ker&_b)_zI!9{K1BwKnRE z(Hsyuvrb*q!>GJnOi(L=m)`HG;|O%?Kd#}t~g_n zd*DbMWZOq{lmx=aA0)(j1kY_rzVI=}bbJ2;fGG${iGBq|~WnyGw zK0G-zWHvA}H8)~8V>n`CW;SCpF<~-gV=*!{HeqFAWMh|(s{uxTHaI>$3UhRFWnpa! zc-l48)l*er6o&D&FhSsmjokt!SeRIt*qx{#VuRgccZ*#h2!djF7mRx0IF463qy7bY zV~k$l{vMV$zj@}}`|N!#&iO<{ii`b3f@Bx_5enV5swn1{J|3G-1@_vDDssv)RlJ3NH}E#z#ryaWALCPejz#zqOZkabbZ_)5d1Gn1w2EJ{eUmb{9Lr)k z?kVZ=DwS&6o&LBI1F(Wh_*}ahh^sLOgVBc-RU-G=oguiEw*;W~mOlP=wGyUbWvqf# zu^Lv#8Y;t<+NVNs1J=Y^Dv3#UwKi_zUEX(2U2l6G+=6v~u^!e}NlUYP8sIi;sFFU} z_C`1eJK2jD;)j1f2lhvG17j>B;T zj>J*e0$bt~jK`_i3a8;19E+`S9FE5c*aj!!B%F>37>QAsh%+z=+u}@2##z`7XX6~~ zgY7XE`(i(T?2jF=BSzy~OvQOP9~WQ>?!cwE5EtVbT!t%f6>h|JxE{CTX56ZBHp4py zBy+GcE6SPu!I@LlnM>!VI4_0TuWPqT!CSW!2H3Jkr6|rVuU^}-SLIEtTi#{avQOnb z&;QuXmi;Q9mbvBgCR+}ueD!zBH?`%U%J+D;{O~z{f5qE=Nagn-xBN-5C0*t3J?q0N z#S!j&E1PG_5!G@(-4Yb-4F3PAqpH3P>vO6hyRDC@x<4R&-s{=c$5mToT3=9Y8Ekz* zH9E%nqSycLIjPz;(E761Q>{;__K&l^=Jg%x)2c}`t#5k$+4_uX>T2skufJHIRo&U$ zPEmg?uW#C(;hpVctnc7Ge1MPe2|mLYJV8}+66|Ru=W`h>Idub7^TR~`0cYQrke7b0 P0U!xAG72RnMNdWw;F9(F delta 6172 zcmajjML-k`fQDg7>25)~bI75FM!HKn2a%LUVhHK(8cL8MBnJuU7`mlFO1isa|HEGP zw72i@Ucbu&{fiF!i(Xq63<2_iKv*80?sitrSiVcgW+sW$BHlq0HG6l=0(`$^->=T+ z`6<-{QjSKz*I+-S`2O}_VZ2&Sl#j2El94|3g9jrG67_uiIKL`Ba?NeD1nl;&KHClW z;Jp45M-lJ+ySX=U@|@^=WU`L1ZeJg`| z&?r_SzU8Nce<%wmC{~IsAz@ao8as!v1JE(w;_5o_= zcOm_g?;HZ&j(p;3hY&&vPEs<^|E=Y8;J>nPP$xS4?A+YNn_zR*0}BU{y+(}I^6`u+ z!LxkR74KV}O2z`wIo8YPANQf%u+bqs#($r8EF!R% zu(e_vyKF0IVtPL32ixSiiLior-22SNdOMTdx5(t+tR#2nvbrzKi4m}$G`SY#hUR~vtyFstd*k_z{>u{*n|O0M<<*WHo_&Q)p|NXoI&71LzGXbSbPIW!b62yX86M zU#qojEEgqo2<;g2OSH}R?_8s29l!zQz6k6Xj2?MSy0#T-CaQ9jl+n-y%PCltl-Dy! zTC5O71eMb-E=(mBdb5bl8iVtOwgmkazL-OE9H&GMX12#6nfIsC`CYIIq-m8EB2-9x z0Dq+=?oAj(zD*s=SU#WWy!f#_U;)698mlkiddtbt%Klm<0X*T5yrF2Ds=Q;*!Eh65p{(=SE~SSh5R}GgZNDPMiZl^+8OrKB(35z% z)?gL`9|O~T3!a)9wJ6WZ_b)7a$B;IvoLysR|BPbcHVM2+z*Ds_Muk%NNJ8>zE^9l2 zU}>4Bb1cRwH%eHs#0*QL!w?&UQyaqc2ZJVl?i>(Ka50M;6qVtWm_J}mxQ9z(AXsQ= zM^2q2Ho9osXHaq}PsBe~GL^s#C(Aqf9DbG5M)Q1NjL>BHEJ{ zqeVo6HJnNbXFy!ZtsD}_{ND~R)j)vB~Z^u|1w`cZ3v!= zIBqE1idhCf2~C-N0t+=!0y?P>@4`98Gjc1Rnp1g!go-Vntg0xnix1dFvvgS^u_)hZ zmXp7!a_%%sSufm1K4`gt#1`wj0>4G!Rgo$Ab&-m#ezoWfgy$Krqc0-Y$q=Ch1`v?o zD>hIt$8UCPZIkq@^)}a7-&vcI$1<*=6%7aJPf7^5l9GzZNlkg-Sv(S8HHg_)bctpQ z*?H^%!gFXz5-WNuYs+Ng;x!8RE9rc6DE%UU9IYN3>}_R0J!&tAo48oQe#elbyYdjy zh$&3^_pL29yyxJTO=ZPaG^E}z-)xDgIzYoIJQ%^wBNFXQ#)-P?Snz%(RH?gqo#iPw zVgxOU@+rmvU8T@=qYUf(g5wVXrkVkJh(^vx-w{5YMd;f4wRc(-o3KqAVH|gk17jm2 zPTbQWhc4KO!3hl#RT+iEmPS5ty2`^o_3(M)QJ!8ZVd3l!IQ~jU@unLT2t71K;j7~z zyO&Y+vVoZvhb3Kpa+A_XQr;no9VfPR0YDFXoQTW$npxm6b6(|t!Y{uENv!FM;?ef9 z0}8*a)A*^V*qM?0z8*fC^LgF!X*keFr>m)isayB5k!V54GP`vm^zqka>!*5odyZEh zFUwc^>KQB>kmq!oGl17t6cRGcy`~JOe+yV2HRjaKdxoSYdRXQ({Ekf(Ux4|`+@pR7 zZ&i@NC&ZKwHCbiy10aXE288qctQyI4>p=kMy$fXsHCgf564auZGPj=)iS4 zH$kkd3xzCy*Q7$DrH*<#37B@&7E+vo z_H-zjRZIGLQ`>z7Z0}*PcX$b=IZXpddKL!IUJ zgS#&2Zme!tQgVAB#!X@A?DzZP3?nQl6)Mcx`Y<`Y3<5WCBovRb*@ZgP*c5zHB*_cH zVHo5O=kOb*u7p&K81|Sf5GTFUgCaRTb6hNMBbHj@6fKrmSZyQ`iWnS>n@sqir`R** z#LDdBRayRCmhKviUd6PXF`mM{ z^$uiagvn5Yb)Ue<;$EcH%{o$T+J_)NTkJ0uH?TlZBf~^ma-}DYnknPg`S450t=x;& ze0mXD+9}DMQG&06?A=&MVYR`htS+e=1{X5Nc8U58z2W^|UO^)j!3~q`qiPE!B#>b* zAz_s~qI4Xo9}*}*#u+t{o>?ie{5p6DAw6l%c`Fq6^+2KeS1_6*gJ3eqmg0NO;hix` zq)m_EewW9WRk)LGD{D>+Aw?y!z(Y`?WgyYtH(eXdkYN@X>K}S&x0Pp#rVcu>(ZVI) zdPP8s-26`zJ5E>Mf4Ubmtc{W^DqDJHpA!D-%yx+F5C#%*q?h_v#5ebWhJ?+QALSf_0KUb$yk-LYR~9*xBp zE|X~{2}*Mg&-NCq8bYhl=G{@{tvA0KS;8{fNFGgiT{Qrn9KPPJuF4R;sa~hm(tyLZ zhu|p9z>iwB529isH*As%b5T&S+Q8c&GRgrTSas|lv$U^Ys!rr>u;ZGDGIZiAuzw8z&BX!m&GmO%%$pLT*6dZxDdw zgz=1^sFEJv?Wx9YeGeJ2X2~J2sj6V@tV0YuANoo~ioX86*i0s* z6^X&8kW~x|@`T-Y$kv3!`kjX;Y9jK>KwY~Q+5v@IGg7WrVh^f{+s0YV>%CcnSY#X0 zS{v_|#K%k+UT?-uc*UuM!?sUe2_=yh6%-}OLXXP&SYMjul%g`#{qG?@kcDTE-t6`H z{%5l2Hz;T`Xb{(pW182mZE76Of-Twi&n0A94vPKuTG-9*)LgU8Cl$$P=D%Ioj2n)O zN)JA?mHX8LX1efajuK5wD*L?S-2s&n^5W!$^>vtxWCI@>Y`6rx<7bz%NnD@?0q`LH zaT0ko1143HijKiRkz<=O<%ZxZhWzIprIV7y@sRI0;t&@MVx#B_!;xD17fxiS7td0)R z9*;*Vv-K`js+p33tOWb02Rqk|*_h$~wFS84yuSoZGcxA;p|lvL01G;JM6d z=(lUeK;9o&55UHl@=cSywu@z^SJc87{Yo}X@*E_c-uZ7}o@vY`XWQlonfqwc2Apf2 zb#o&)&ZcyO$}k@wu4CpUFS0%pby(0(Cp;6Q$>bf4Fam&!SQygSmIFcYwZ;24Dl~mI6E$8n}JvjB;p-5^K zDapZTwY5#TLXit`|0@{4|pkV{X#nGWT6pg0_R{b^jq~SF#6s9hb zr{%a|;(ci8d$@nZ90|vF{4w=Z+h0KG7&+9xYepgITH<4A%6k`pW&iyj(R%|}NKg7| zdQpSR-A>G9I!4ZPQ6?|8$RiQk2&I(QQyOFANbG~(G%9J^1@|VHKlshL?@AAE| zaYu`A-lZ{n^dO;s{M_>8d;1gWznmsRpno;kTIb&9O}8Zc<(<^}8OUHOr1X) zCW_|&B4;A_q{JSi@as^c^?4_@qZ??H!}%R~0hh3A=c z^MprZau6}HO>_N*@EmCk#p|PN0Cot5$Qjnu0D=Fq8?*1osJZ3S1UmI0%Cv7nTBdG* zklr%OAAF57hJYUq=jB1hpI@)Hi)ZOwi(C`bu_vaRNU^0k{Npi{?dRD*mDFzrDocl& z6JY6|7yc{`l?7Si;(a`MTRu^vcX0GFKBLQU!3%+GJr<)wl>zDu^lN6ZmVsE^SFPpO(0|;ilFVrML}_?^cN@es!V8TR81L9pO3$TTK5P3`K-_NV=^4%zFJ>e7 zHcEdyj@15|56hm68Lj8b_8#@8s5q11AqTPLaXyZ#VfK;4Fmt zhmWMv%Ijx{5I~KY1<_Fvo?9zCryZ?XJNvsiytPe)6=q_A-((dCaSF!OpPqKoWLyb} z*T+lGTSSet!G}hu*Rd*E^EySe*WuqFb{6m-ZMYh{GJtR1ZerjJ6ajHQSaVW`7X#2u z{!viJ{&SOP>}~|o*srTOMZ)>;SS|gbQK@eH-d*fKQu}|@aa{=%i5>tX@eK*JzWW7A z@^#s`9v&dZ+kXU*xc=$|+*TVRmVXSUajI_YCp{#l5u9$4)jfKqvAJIuOaE!C#4PKN zZ~1#jyKh2w8S}_N;vR?MmxE~K<30U1K6VwR_v<igW!WAy0| zUM^Y#_Wi9L6U4hYYV9h$&79zu@d`T&8hzZ+rT`70yV`A=it8tCi>nLwkpcZ>5~Gfi zrN+{2;)=h;+!i 0$ takové, že pokud $\| (y_0, s_0) - (t_0, x_0) \|$, potom řešení $y$ procházející bodem $(y_0, s_0)$ je definované v bodech $(t - r, t + r)$, spojitost pak odpovídá tomu, že toto řešení bude po celou dobu ``blízko" toho původního. - Bez újmy na obecnosti nechť $t_0 > t$. Vezměme $(t; t_0, x_0) \in G$, buď $x$ maximální řešení s počáteční podmínkou $x(t_0), x$. Pak $[t_0, t] \subset D_x$ (řešení je definováno na celém tomto intervalu). Vezměme $\delta > 0$ tak malé, aby $[t_0, t + 2\delta] \subset D_x$ a zároveň $K_\delta := \{ (y, s) \in \mathbb{R}^n \times \mathbb{R} : s \in [t_0 - \delta, t + \delta] \land |y - x(s)| \leq \delta \} \subset \Omega$. Takto definovaná množina $K_\delta$ je kompaktní a tedy $f$ je na $K_\delta$ omezená konstantou $c_0$ (spojitá funkce na kompaktu) díky čemuž z lokální lipschitzovskosti plyne globální $L$-lipschitzovskost vzhledem k $x$. + Bez újmy na obecnosti nechť $t_0 > t$. Vezměme $(t; t_0, x_0) \in G$, buď $x$ maximální řešení s počáteční podmínkou $x(t_0) = x_0$. Pak $[t_0, t] \subset D_x$ (řešení je definováno na celém tomto intervalu). Vezměme $\delta > 0$ tak malé, aby $[t_0, t + 2\delta] \subset D_x$ a zároveň $K_\delta := \{ (y, s) \in \mathbb{R}^n \times \mathbb{R} : s \in [t_0 - \delta, t + \delta] \land |y - x(s)| \leq \delta \} \subset \Omega$. Takto definovaná množina $K_\delta$ je kompaktní a tedy $f$ je na $K_\delta$ omezená konstantou $c_0$ (spojitá funkce na kompaktu) díky čemuž z lokální lipschitzovskosti plyne globální $L$-lipschitzovskost vzhledem k $x$. Dokážeme, že řešení ``blízko" toho původního neopustí ``rouru" $K_\delta$. Zvolme $\varepsilon > 0$ takové, aby $\varepsilon < \frac{\delta}{2(1 + c_0)e^{L(t - t_0 + 2\delta)}}$. Vezměme $y_0, s_0$ tak, aby $|s_0 - t_0| < \varepsilon$, $|x_0 - y_0| < \varepsilon$. Dále vezmeme $y$ maximální řešení s podmínkou $y(s_0) = y_0$. Chceme dokázat, že $y$ je definované aspoň na intervalu $[s_0, t + \delta]$ a platí $|y(s) - x(s)| \leq \delta$ pro všechna $s \in [s_0, t + \delta]$.