64-~4 97:7/?@=3 7:?3=9327/?3 <;B3= =38/D 4HERSPHQ Z Z Z Z Z Z Z Z Hcf_ Oi5AG8:;<8> A 2 3 Hcf_ Oi5A;778=87@ Hcf_ Oi5AERE7@7797:>?8; /FE nsj_0 ERE8;77988;;;> /CE nsj_0 1;78 1;:?/1? 2/?/ Eihn[]n [ll[ha_g_hn 9C3 9E Eihn[]n l_mcmn[h]_ CaThP93 CaE^P OPA :7C 9<7WCEB :7C 9>>WCE Eihn[]n l[ncha /S_m5 fi[^0 OEA :C 9<7WCEB :C 9>>WCE N[r5 mqcn]bcha pifn[a_ 9>>WCE N[r5 mqcn]bcha ]oll_hn :7C N[r5 mqcn]bcha jiq_l N_]b[hc][f _h^ol[h]_ ?:87WC < r 87=PQT 8 r 87 PQT /OPA :7C 9>>WCE3 S_mcmncp_ fi[^3 Siig n_gj53 8m ih @m i``W 8 r 87< PQT /OEA :C 9>>WCE3 S_mcmncp_ fi[^3 Siig n_gj53 8m ih @m i``W < 16/=/1?3=7>?71> 8777N /[n <77WFE0 Khmof[ncih l_mcmn[h]_ ;777WCE 8gch D_nq__h ]icf . ]ihn[]nm Fc_f_]nlc] mnl_hanb D_nq__h ij_h ]ihn[]nm D_nq__h ]ihn[]n jif_m 8<77WCE 8gch S_f_[m_ ncg_ /[n higc5 pifn50 U_gj_l[nol_ lcm_ /[n higc5 pifn50 Wc\l[ncih l_mcmn[h]_ ;5< 75= @5= 89 @ 859 8@59 99r /8 87-0 ?=r /8 87-0 79;F 9; 8? 95; :?5; :<7r /8 87-0 7;?F ;? := ;5? >=5? 8:@7r /8 87-0 887F 887 ?95< 88 8>= >9<<r /8 87-0 /1 RTOH /[n <7Jt0 Oigch[f Qc]e4oj Flij4ion N[r5 Eicf Wifn[a_ Wifn[a_ Wifn[a_ Wifn[a_ WFE WFE Ei^_ WFE 1 WFE g[r5 gch5 79;C< 8@59 ;5? 9; 9=5; Eicf S_mcmn[h]_ ;<r /8 87-0 9; 8:9 889<r /8 87-0 ;85= 99@ :9>?r /8 87-0 FE nsj_A 9<gm g[r5 997C< 997 8>= ;; 9;9 :?77r /8 87-0 FE nsj_A 9<gm g[r5 9;7C< 9;7 8@9 ;? 9=; ;<77r /8 87-0 CE nsj_A@7L g[r5 FE nsj_A>7L g[r5 9>>C< 9>> 9985= <<5; :7< <@=7r /8 87-0 <- ni ?<- SJ Eihmnlo]ncih = 789F @= 87Jt ni <<Jt 85=<gg FC Vhcn q_cabn 77=F 8==5; F_mnlo]ncp_ U_lgch[ncih Eicf Oigch[f Qc]e4oj Flij4ion N[r5 Eicf Wifn[a_ Wifn[a_ Wifn[a_ S_mcmn[h]_ Wifn[a_ WFE WFE Ei^_ WFE 1 WFE g[r5 gch5 < :5? 75< ?57 8<5:r /8 87-0 77<F 97? @?g6m9 @?7g6m9 Cg\c_hn n_gj_l[nol_ 21 RTOH 897 Hoh]ncih[f Jogc^cns [n 9: 97?C< 87eW /8596<7wm0 Pj_l[n_ ncg_ /[n higc5 pifn50 1;78 2/?/ 897C< 9777WCE 8gch Tola_ pifn[a_ /\_nq__h ]icf . ]ihn[]nm0 Tbi]e l_mcmn[h]_ FE nsj_A Cjjlir5 85>XB CE nsj_A Cjjlir5 ;57WC Eicf jiq_l <7g g[r5/[n 8C 9;WFE0 Eihn[]n g[n_lc[f Gf_]nlc][f _h^ol[h]_ :7C mqcn]bcha ][j[\cfcns El__j[a_ ^cmn[h]_A ?gg ;eW ^c_f_]nlc] mnl_hanb /\_nq__h ]icf [h^ ]ihn[]nm0 VM chmof[ncih msmn_gA Ef[mm H Qf[mnc] m_[f_^ [h^ ^omn jlin_]n_^ nsj_m [p[cf[\f_ QED . RE f[sionm [p[cf[\f_ Ghpclihg_hn[f `lc_h^fs jli^o]n /SiJT ]igjfc[hn0 Ponfch_ Fcg_hmcihmA /<957 r ::5> r 9=5>0 gg /1 RTOH /[n =7Jt0 Oigch[f Qc]e4oj Flij4ion N[r5 Eicf Wifn[a_ Wifn[a_ Wifn[a_ Wifn[a_ WFE WFE Ei^_ WFE 1 WFE g[r5 gch5 79;C= 8@59 ;5? 9; 9=5; :<5>r /8 87-0 Eicf S_mcmn[h]_ CEA 4;7 ni =< 897C= 897 @= 9; 8:9 ?:7r /8 87-0 FEA 4;7 ni ?< 97?C= 97? 8==5; ;85= QED3 RE 99@ 9=77r /8 87-0 997C= 997 8>= ;; 9;9 9?>7r /8 87-0 9;7C= 9;7 8@9 ;? 9=; :?77r /8 87-0 9>>C= 9>> 9985= <<5; :7< ;>77r /8 87-0 Cjjlir5 ?=a Qf[mnc] m_[f_^3 Hfor jlii`_^ :NRHQ. Ub_ ^[n[ mbiqh [\ip_ [l_ chcnc[f p[fo_m5 JPOIHC SGMCZ KTP@7783 KTP6UT8=@;@ 3 KTP8;7783 PJTCT8?7783 KGER RE 7?7777 EGSUKHKGF 978; S_p5 8589 9=8 1;78 2/?/ [n 9: /1 RTOH /[n <7Jt6=7Jt0 Qc]e4oj Wifn[a_ WCE g[r5 Flij4ion Wifn[a_ WCE gch5 <7Jt =7Jt <7Jt =7Jt ?? @= 99 9; 8:9 @<7 r /8 87-0 97? 8=7 8==5; ;7 ;85= 99@ 9?;8 r /8 87-0 9;7 8>= 8@9 ;; ;? 9=; :?77 r /8 87-0 9>> 977 9985= <7 <<5; :7< <;?< r /8 87-0 Eicf Ei^_ Oigch[f Wifn[a_ WCE 897C 897 97?C 9;7C 9>>C N[r5 Wifn[a_ WFE 1 Eicf S_mcmn[h]_ :NRHQ. 1 N[rcgog pifn[a_ l_`_lm ni nb_ g[rcgog pifn[a_ qbc]b l_f[s ]icf ]iof^ _h^ol_ ch [ mbiln j_lci^ i` ncg_5 >/43?D /<<=;A/8 =/?7:5> @8|1@8 80 A23 80 VCaThP9W OP :7C 9>>WCE 8JQ 897WCE 95<JQ 9;7WCE 887 MSC69<5: HMC 9;7WCE /FE nsj_0 OE :C 9>>WCE OP :7C 9<7WCE 97C 9<7WCE OE :C 9<7WCE :NRHQ. 80 VM ]_lnc`c_^ fi[^m [l_ n_mn_^ [n ;7Y5 WFG ]_lnc`c_^ fi[^m [l_ n_mn_^ [n ?<Y /FE jli^o]nm0 il <7Y /CE jli^o]nm05 90 Phfs nsjc][f fi[^m [l_ fcmn_^ [\ip_5 Pnb_l fi[^ mj_]c`c][ncihm ][h \_ [p[cf[\f_ ojih l_ko_mn5 ;=23=7:5 7:4;=9/?7;: JH@9H 4789F 49E 9 9 H /YYY0 ?TOH CCC 2. FE nsj_/<3=38939;3;?3887WFE0 CCC /+. CE nsj_ <7Jt/9;3897397?399739;739>>WCE0 CCC /,. CE nsj_ =7Jt/9;3897397?399739;739>>WCE0 CCC /. CE nsj_ <7Jt6=7Jt/897397?39;739>>WCE0 1NJK 1NGH 1NMREFR EPPEMIHLHMR ?HPLJMERJNM 80 1NMREFR LERHPJEK 1NMQRPSFRJNM 90 ~/. 9 Hilg C }. QED ~1. 9 Hilg E ~{ *. RE }. CaThP9 >. Qf[mnc] m_[f_^ ~. CaE^P 4. Hfor jlii`_^ 1SQRNLHP QOHFJEK FNGH :NRHQ. 80 Hil RE n_lgch[fm3 hi mif^_lcha il q[mbcha cm [ffiq_^5 Hil QED n_lgch[fm3 jf_[m_ l_`_l ni om `il mif^_lcha ]ih^cncih [h^ j[ln mj_]c`c][ncih `il h_]_mm[ls q[mbcha il mol`[]_ jli]_mmcha [`n_l cn cm mif^_l_^ ni QED5 90 X_ l_]igg_h^ ^omn jlin_]n_^ nsj_m `il [ ]f_[h _hpclihg_hn /`l__ `lig ]ihn[gch[ncihm fce_ J9T3 TP93 OP93 ^omn3 _n]505 X_ moaa_mn ni ]biim_ jf[mnc] m_[f_^ nsj_m [h^ p[fc^[n_ cn ch l_[f [jjfc][ncih `il [h oh]f_[h _hpclihg_hn /qcnb ]ihn[gch[ncihm fce_ J9T3 TP93 OP93 ^omn3 _n]505 9=9 ;@?87:3 2793:>7;:>{ B7=7:5 27/5=/9 /:2 <1 0;/=2 8/D;@? VhcnA gg Ponfch_ Fcg_hmcihm 8 Usj_ /QED0 =5:< 859 <957 g[r 757? 757> 7 ; 9 = 8=57 :75> g[r 9=5> g[r >5? 759< 759 : > ? 8 ::5> g[r ;58 9<5; 2757; 47579 758: 75? 758: 758: >57 75< ::59 =?5= g[r 9 Usj_ /RE0 <@5> 759 7 ; 9 = : > ? 9=5; g[r 8 885; ::5> g[r 757? ::5> g[r =5:< 8=57 2757; 47579 9<5; 75? 9<5; 757? 8=57 =5:< 2757; 47579 ;5< 75? 759< 7 <9 g[r 75< >5? >57 ::59 : Usj_ /RE0 =?5= g[r ;5>< =5:< <@5> 757? 759 <9 g[r ;5< 759< 7 75? 2757; 47579 2757: 75< 47579 757? 9=5; g[r 885; 7 9 = 75< ; ? : > 8 >5? >57 ::59 QED M[sion /Dinnig pc_q0 Xclcha Fc[al[g /Dinnig pc_q0 >5? <58< >57 9 Hilg C 9<5; 85: 8=57 85? 9 Hilg E 7 9 ; = ? 8 7 9 ; : = ? > 8 ::59 S_g[leA 80 Kh ][m_ i` hi nif_l[h]_ mbiqh ch ionfch_ ^cg_hmcihA ionfch_ ^cg_hmcih X8gg3 nif_l[h]_ mbiof^ \_ v759ggB ionfch_ ^cg_hmcih [8gg [h^ X<gg3 nif_l[h]_ mbiof^ \_ v75:ggB ionfch_ ^cg_hmcih [<gg3 nif_l[h]_ mbiof^ \_ v75;gg5 90 Ub_ nif_l[h]_ qcnbion ch^c][ncha `il QED f[sion cm [fq[sm v758gg5 9=: 16/=/1?3=7>?71 1@=A3> N[r5 Cffiq[\f_ Cg\c_hn U_gj_l[nol_/ 0 NCY5 CMMPXCDMG CNDKGOU UGNQGSCUVSG 8;7 FE Eicf3 :7C Eihn[]n ]oll_hn 897 877 FE Eicf 7C Eihn[]n ]oll_hn ?7 =7 CE Eicf :7C Eihn[]n ]oll_hn CE Eicf 7C Eihn[]n ]oll_hn ;7 97 >< ?< @< 87< 88< 89< 8:< 8;< Q_l]_hn[a_ P` Oigch[f Eicf Wifn[a_ Fcm]f[cg_l Ub_ mj_]c`c][ncih cm `il l_`_l_h]_ ihfs5 T__ ni ,U_lgchifias [h^ Ioc^_fch_m, `il gil_ ch`ilg[ncih5 Tj_]c`c][ncihm mo\d_]n ni ]b[ha_ qcnbion hinc]_5 X_ ]iof^ hin _p[fo[n_ [ff nb_ j_l`ilg[h]_ [h^ [ff nb_ j[l[g_n_lm `il _p_ls jimmc\f_ [jjfc][ncih5 Ubom nb_ om_l mbiof^ \_ ch [ lcabn jimcncih ni ]biim_ nb_ mocn[\f_ jli^o]n `il nb_cl iqh [jjfc][ncih5 K` nb_l_ cm [hs ko_ls3 jf_[m_ ]ihn[]n Jiha`[ `il nb_ n_]bhc][f m_lpc]_5 Jiq_p_l3 cn cm nb_ om_lxm l_mjihmc\cfcns ni ^_n_lgch_ qbc]b jli^o]n mbiof^ \_ om_^ ihfs5 u Yc[g_h Jiha`[ Gf_]nli[]iomnc] Ei53 Mn^5 Cff lcabnm i` Jiha`[ [l_ l_m_lp_^5 9=;