proofs

!"#$!"%&'%()$*%+,-%'$.&/+0-1$2,/#,3$40,-(%'$56789:$55;$?#@#3A#-$865B$ $C865B$A1$*%+&0(%'$D@&#(@#$2,/#,3>$!"%&'%()

!1)#-'8)?1(56#*'#27 > 346,,'(,@(A*+6/&*/+(34*/24/+1(),BB#*7,(C2*D/&+*$-1(EF!F!(.*2#$,F46,1()#B,7#$/1( ),BB#*7,(?G!FHI!!1(J#8#2 E A*+6/&*/+(34*/24/(K/2$/&1(56/(),BB#*7,(C2*D/&+*$-(.%+/%01(EF!F!(.*2#$,F46,1( )#B,7#$/1(),BB#*7,(?G!FHI!!1(J#8#2 G A#4%'-(,@(A*+6/&*/+(34*/24/+1(),BB#*7,(C2*D/&+*$-1(EF!F!(.*2#$,F46,1( )#B,7#$/1(),BB#*7,(?G!FHI!!1(J#8#2 ; L27#0#2(K,#+$#'(M/+/#&46(3$#$*,2(@,&(N/D/',80/2$1(9#+/$+#&$(C2*D/&+*$-(M/+/#&46(#27( N/D/',80/2$(O2+$*$%$/1(9#+/$+#&$(C2*D/&+*$-1(3%B+#0(M#2,2:(H;!>?1(56#*'#27 I .#*P%&%(A*+6/&*/+(M/+/#&46(3$#$*,21(A*/'7(34*/24/(Q7%4#$*,2(#27(M/+/#&46(K/2$/&1( 9-,$,(C2*D/&+*$-1("#:#6#0#1(.#*P%&%1(9-,$,(I>;F??HI1(J#8#2 R 56/(),BB#*7,(C2*D/&+*$-(.%+/%01("!?1(SH1(3#88,&,1(),BB#*7,(?I?F?H!?1(J#8#2 !

OP!:2O*:QR' !"#$ *%+&0(%'$ D@&#(@#$ 2,/#,3>$ !"%&'%()>$ M%/#+/%-+$ N(&K#-/&+1>$ !"%&< '%()>$+"#$.0OO%&)0$N(&K#-/&+1$2,/#,3$%()$+"#$M10+0$N(&K#-/&+1$0P$4%G%($@0(),@+#)$ DMRLQWVXUYH\WRDFFXPXODWHNQRZOHGJHDERXWVSHFLHVGLYHUVLW\RIFRDVWDO¿VKHVLQWKH Q()%3%($D#%>$!"%&'%()$&($?#@#3A#->$865RI$$Q/$+"#$-#/,'+$0P$+"&/$/,-K#1>$RB$/G#@&#/$S#-#$ -#@0-)#)$&($;$0-)#-/>$88$P%3&'&#/$%()$=B$H#(#-%I$$!"#$/G#@&#/$T#$6-:,U*%+(6,2:B,2:/2+*+$ /DPKDVEHHQUHFRUGHGIRUWKH¿UVWWLPHLQWKH$QGDPDQ6HD$ ESD'TM2;!Q'$QGDPDQ6HD,QGLDQ2FHDQ¿UVWUHFRUG(T#$6-:,U*%+(6,2:B,2:/2+*+V

IU:2M;V*:IMU !"#$Q()%3%($D#%$&/$'0@%+#)$%'0(H$+"#$#%/+#-($ /&)#$0P$+"#$T()&%($U@#%($%()$&/$/,--0,()#)$ (0-+"S%-)$ A1$ +"#$ V,'P$ 0P$ 2%-+%A%($ %()$ 21%(3%->$ #%/+S%-)$ A1$ !"%&'%()$ %()$ 2%'%1/&%>$/0,+"S%-)$A1$+"#$(0-+"#-($+&G$0P$ D,3%+-%$T/'%()>$%()$S#/+S%-)$A1$Q()%3%($ %()$ *&@0A%-$ T/'%()/I$ !"#$ #%/+#-($ @0%/+'&(#$ %'0(H$ !"%&'%()$ %()$ 2%'%1/&%$ &/$ -%+"#-$ /"%''0S>$S&+"$%($%K#-%H#$)#G+"$=$3#+-#/$0P$ EF0--#/G0()&(H$%,+"0-I J$ ),#$ +0$ /#)&3#(+$ @0(+-&A,+&0($ P-03$ T--%S%)1$ )#'+%$ %()$ -&K#-/$ 0P$ S#/+#-($ !#(%//#-&3$ .&''/$ 7F0'&($ /$( #'I>$ 5WWW9I$ T($ %))&+&0(>$ +"#$ /"%''0S$

!!"

!"#$!"%&'%()$*%+,-%'$.&/+0-1$2,/#,3$40,-(%'$56789:$;#

CUMI&=( P-4+.4-0.( V,27+042.9( 6?( )*-21-,8=( W6@@-286(V,27+042.9(I/4+/:(CW6VI&(-,8( P96.6( V,27+042.9( 6?( X-5-,( 36,8/3.+8( Y62,.( 4/07+9( 2,( H*/@+.( -,8( J-,6,+0+(50+4+07+8(2,(N$\(246506591( DOFRKRODIWHU¿[DWLRQE\IRUPDOLQ7KHVH VSHFLPHQV ZHUH GHSRVLWHG LQ ¿VK FROOHFWLRQ 6?(.*+(U-./0-1(W24.609(I/4+/:=()*+(U-.26,-1( M32+,3+( I/4+/:=( )*-21-,8( C)WUWI&'( O611+3.26,(8-.-(6?(45+32:+,4(4*6>4(163-12.9( ?6116>+8(;9(8-.+(2,(5-0+,.*+4+4' O6/,.4(-,8(506560.26,-1(:+-4/0+:+,.4(?6116>( W/;;4(-,8(Q-5?S$ 7+1+0)±VSHFLPHQV ±PP6/5DQRQJ  .'-+/0%:'"'23+#'$ 5'%'0=+(/8'(#";)*+TJOC*+,$!-KK/$012134 )VSHFLPHQPP6/ $$$$$$$$$:;'9;B*RUL*,$!-#!?/$012134 )VSHFLPHQV± $$$$$$$$$5P65$77$89,$:;'5?6 !"#$%&'(#&)*+,)$"-$>@;A*'BC*''*D,$!-E5?/$ 7+1+0)±VSHFLPHQV ±PP6/5DQRQJ  ./0'%1&$#2/%)*+3)44$0-*$>@;A*'BC*''*D,$!-E5?/ 7+1+0)VSHFLPHQV ±PP6/3KXNHW  !"#$"%&'()$"*()$+,*"-$( .'-+/0%10232')4+#'$

5$%"2&$-1&2&"*+&'/('2$#2/%)*$>FA**G*+,$!-H!?/ 7+1+0)±VSHFLPHQV ±PP6/3KXNHW  !"#$"%5$"6+,*"-$( .'-+/0%7-8'((+#'$

!" #

6(3'**-*+)%$2'/0-'$FA**G*+,$!-H"/$012134 )±VSHFLPHQV± $$$$$$$$"56!$77$89,$I)JG*($>K?6 6(3'**-*+7'1&/88--$:CB);+LDO:G(;E'(;;(C*#!+,?@. 7+1+0)VSHFLPHQV ±PP6/3KXNHW 7+1+0 )±VSHFLPHQV± ########,454#66#78*#9:;B@5 >1&'#-)2/+$%"(&)*-;+$%>P(Q()C*#!+II@.#/01023 )VSHFLPHQPP6/ #########PN%H(Q#>,@5 :";#&$20#;"$%10;#-;+$%9RDD(GG*#!+,-.#/01023 )VSHFLPHQPP6/ #########PN%H(Q#>,@5

#$ %

!"##"$% &'(&)*+$# $%&'()*# !+,-.# /01023 )±VSHFLPHQV± #########"45+#66#78*#9:;?@A#/01023 )±VSHFLPHQV± ########!,+5+#66#78*#9:;B@5 !"##"$% &,")- )RUVVNnO   7+1+0 )±VSHFLPHQV± PP6/3KXNHW 7+1+0) ########!,"B!*#!#CD(E'6(;*#!+5,#66#78*#9:;2$ 67890:;