!




∀#
∃  

%& ∋ ! (


)%  ∃ % ∗
















)∃%
  ∋% 
∗




















 
) % ∃ % ∃∗








) %
 %


 ∃ ∗






!







) %∃
∋%∃+∗









∀





#∃%


∀


 

 

 









 !!!!!!!
  
∀


  

!!!!!!!!

&∋ 
∋




,−∀
  ∃ )#%%.∗∃ −/− !00(

&∋ 
∋
















&∋ 
 






∀.


 ∃! ∃

 12∋ ∃ ∃
 1
 ∃ 131 4    

(((((((((((((%
)


∗+,−

.

/,








!



(((((((((((





0∋




∋

∋




1
∋




(((((((((((((

∋


2








∋ 











∋


((((((((((




3
0

















     #∃




∀5
 ∀∃ −(


(
∃∃ 



4
5
0

∋
 









(



4

6(
7
  
0










(
+%


















7(
%




6
7

∋


8


(



2




(

 














9


7



,−∀−

∀





∀8
! 

∀

0





∋




∋










0



 







((((((








 


∋
(((((








:






 







∋
;∋



∋


(((((((


 





















%&∋()



 
  

   
 
   




  

 







 !∀




#∃


%&

 


 
 ∋∋
 ()∗ 

 
(  )() +



%( &()(,,


  ∀ (  






 







0
1


(








&(−
 (.











 





 
&/ ∀  



  










 
  , ((






































#


)  #

 ∋)  ( ( )+





















 








!
∀
#
∃

%




 


 &



∋





























  !∀ 
#






#0



 #
 ∋)  1(

(
 


)









∗+

,



− 










 











( 









.


,

 ∃
%&∋


////////////////////////////////////////
/////////////////////////////////////////
////////////////////////////////////////





 
  

   
 
     
#2



!#  ( ( (( ∋ 3 #
 ∋)  
 ( 
( 4 5 +

&

66666666++66666+66+









66666666++66666+66+

 






7







 

 

−
 

66666666++66666+66+







−







−



2









3






−

 


−






66666666++66666+66+

 
−








5




66666666++66666+66+ 

−
 





−



4








−






−





6



66666666++66666+66+





−






∗+



























































5













 





















































#7

(    )()  ∋∗) ∗  8)(( +

(





 
6


 


(

6




∗




7
+







+












 
∃
+



 8)


 
+


 


9



 
 



8




&∀(








 
( 
9
∗ 
.
 
 



 







 



 






4







6




&∗  

 








(
(()!
7
:
:
 6



∗ 
!
;
9





 










6

);
%


 


.

(< , 


 





9









∀=()



&∗  8) &(( 

 
///////////////////
///////////////////

///////////////////
///////////////////

///////////////////
///////////////////

///////////////////
///////////////////

///////////////////
///////////////////



 
  

   
 
     



  

 




  

 !


∀#



 








































 

!
















∀











 





#






∃%

&%  ∋∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃
 





 

 













∀
%






#


#
#







& 
#





∋


















 

#



(

%






)#

#






(

%



 










)




∗
)








∋



































































  !


(&%
 %∋∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃





 

 














∀)


+
,






∀








−
./0

∀


1







2



.
.−.

3
















)


4



∃%∗+&%∗!

%,%  −∋∃∃∃∃∃∃∃∃∃∃∃∃∃







 

 














∀.
%

 




#



5








∀





#


 






6




6







 


 


 
7∗
#


&

#

















/0∋ ∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃







 

 















∀1
+
8






(























 








∋











%












9












#





&





:





∃%∗!%2∋
∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃





 

 













 
  

   
 
 





  

 



  
 !





 ∀#∃%


!##&





 


 

 
 

 




 





∋#(
)
















 ∗ !#+(

 ,






 








 















 





 




!
∀# ∃%&

∋(
 

)

∗+,−.



# 



(−
  #−−  #. /0 . ()






 /









 ∗ !#+(

 ,


!##


0

 


 

 





 1


  
2
 
3




 1 





  






 
44
5 
6
7




 
6



 



∋  )




  

 





8

 



 ∗ !∗#+(

 ,





∀0






 
9
4



1 

 





1 1
 






∋1 )




:







 ∗ !∗#+(

 ,


!##2

9




9



5
1

6











4

 
4
 


4

 
;
 








 

5

) 

 


1


 

  
6


<
#


 

15



 




  

 




 










4
∀ 
6



 






  




=
>


 




4






 1




 


15




 
5 
4
 



1<

9

1 
 


6


 



















 
  

   
 
 


1 ## #
/!
.(,
 #
/!
 
,

9



5
1

6











4

 
4

 

4

 

;
 







 

5


) 

 

1


 

  
6


<

#


 

15



 




  

 




 










4

∀ 
6


 






  






9





6
>


 

 



 1



%

5 

15
 




 
4
 



1<


9
1 
 


6


 














!##3

,
)
4


∃ 
 




 

2
 

=  






 



1



 
3



4,
)
4


∃ 
 




 

 


2
=  






 



1



 
3



∋5 #)
 
;

????????????????????????????????????????????????



 



????????????????????????????????????????????????








,
9
)

≅Α

  


1 

5

 
&






2

&



& 


∀



 
 
4


 




;
3



1,
9
)

≅Α

  


1 

5

 
&






2
&
Β
9


& 


∀



 
 
4


 




;
3



∋
)
 
)

????????????????????????????????????????????????



 
∀


????????????????????????????????????????????????














 
  

   
 
 


!##6


∃1
 
 <


1
6
 









<


 

∋5)



 /









 ∗ !∗#+(

 ,






;
∋∗

=




Χ 1




∆


5  


 








 
 







∋ )




 /







 ∗ !#+(

 ,



 
  

   
 
 





  

 




  



!∀#




!!∃


%&  &  & ∋     !∀&!      !( &   !&
!
 & )






 
 
 



 
 

 



 
 
 



  











∃
0000000000000000000000










  










 






  

 

 







 







 



 










! 



∀
 







 

 



#

∃




 

 



 
%

&


#



 ∋




∀  

 
&


 
 














0000000000000000000000




(
 
)
∃
 


 


∀










 


∗ 


 
 
















+







 

!



!



∗ 

 ,

 


!




∋















 






 
 













∗
0000000000000000000000




 








 




 




−
)

  







∃












 





(









 



−)










 
.


 
 


 

 






/




∋









  



 














 

%








 
 













 
  

   
 
 
 
!!


1

2




 


 









 
 


3 



+ 
 


%




4

 





∋






5 








)




6

!∀&
∀&+ , ∀)



 





2


 




7
)







∀

 !




2


 






 

)







 



)





 





2

 


%

7
 










)





 





2




 






 !
.




)





!!∗


%& !∀&! ∋,&&

∀& )


#∋ 
 !

 




 

 




.
  
8

/

/





∋
 




∋ 
0
.
 




 


 



∋ 

3




 



! 

 

 
 





 


 





.


/
9 




 !




,
 

∋ 










  

 !∀





∀

:;<;


 



!


=











−




 










/











 

 







∋ 


>









 

?





  

≅












 



 



















 !∀


!!−
.! /   ! ! & !// )0 +∋
!∀&! 
∀&∋+
,+
  /   1 2∋3∋
∋%4)


5 35/& 
(&,&  %5
! 




∃(66))




−
!!

∋ 



 
 

 



 


∋ 

∋

















!














(66))







!!







 



 


 




∗(66))







 











∀
 



Α





 ∋




−(66))



−

!!




∋ 



 
)


ΒΧΧ
∆
 
∀



7(66))




 



 ∋

 ∋










!!

 




 






∋









8(66))





/







Ε











9(66))



)












)

∀ 
ΦΧΧ
∆!

 !∀



 
  

   
 
 
 
!!7

!∀&+!
 ∋ +  
&+!
 

3 
 

∀












 





 

7


∋

/
!





 





 




 

 

! ∋

 


 
 
)!


3 
 

∀














 





 





 %



/





 



)


∋5

7
 
! ∋






∋5


3 
 

∀










−

∋

/

















 !∀






















% &∋∀
#∃





:
Γ























( )
∗ #

#∃


Β
Η



 
  

   
 
 
 



 


 




  






 















 



 


































  !∀#







!!!! !
!!




∃  

∀# 















∃%
 

#
&
∋


(
#)

∗



∀















#
+
∗

, −&
+



.
&
#







#

 




∗

∀ 




 


,





 
∗







∀&# 
%%   

!
!! 

& 
∋%( !


/


0−
 



)
∗




&
 
 







 #




∗1


1#

+!
/








1#

2




#


 !
∀



1)
1#

+

3!



∗
#
#


#

2
2






#
∋
!!!!!


∋  !)))))


!
!! 


∗
∋ + 

4

%
1



1



 


1 


!
0
 


 






 


11


3 

#














 








5





 !



∀ + #

!
!! 





 
  

   
 
 
 


,

−  


4




 


 
−







∗ 



!
∀













#
#



#


1


!
∃#


3




∗



−  
 














#!!!


 . /)))

!
!! 



 
  

   
 
 ∀
 


 

  








  





  
 




 






 


 

 








 

 



 








!∀∀#∀





 
 












 












 




  

!



 






∀

#

∃
%







 
∀
&









∋

 



 


 





 

(







∀

)






∗




+








∀

&


 


 

,
 

%
  

 
−∀

 
.


)

 








 

  

 


−




 

 ∀

&







 

∃





∀
/






∗










 

 

!
0

 


  




1

 




 

2

3

%
  




 


%
∀



∃
 
 


 





2
∃


 
 










,


% 





∃


∀
4

 






 







+
+










∀
)

% 
∗















 
 ∗+


  


%∃
+

 ∀
&




















 



 





  ∀
5


 




 


 



 

 




 



∀


 
 
 


∃%


&
∀ ∋ ∋(∀∋ ∋  

 

∀)∋ ∀)∋  ∋)∋ ∀∗)∋ 



  
 
      
 


    

!

  ∀#

)

 








 

−−−−−−−−−−−−−


 





 

 ∀



+&
∀ ∋ ∋(∀∋ ∋  


 ∀ ,# ∀ ∋∀)∋∀



∃    


%
 

 &∋ (

 ∃) &(
#

)

% 
∗
−−−−−−−−−−−











 
 ∗+


  


%∃
+

 ∀



 
  

   
 
 
  


 ∃


 ∀∋ −∗∀. ∗∗(∗∀# &


//////////////////////////////////////&&&
//////////////////////////////////////&&&
//////////////////////////////////////&&&



∃0

!∀ ∀( ((∋ ∋#∀  ∀∋∀/////////&
6 



 
 






7


−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−∀−−−−−∀



1∀      ( ∋ ∃2  )∋   #∀ ∀33  4
////////////////////////////&////////////&&&


6 



 
 






7


−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−∀−−−−−∀



∋
∀(

8







8





 


∀



8







8





∃

 

∀



8







8



 
 
%
%∃∀







∃5
 

!∀∋     6∋ ∋∃ 




1






















−−∀∀−−−∀−−−−−−−−−−−−−−−−






0






















−−∀∀−−−∀−−−−−−−−−−−−−−−−








3






















−−∀∀−−−∀−−−−−−−−−−−−−−−−













 
  

   
 
 
  


 ∃−
 

 ∋)∋ ∀∋∃

&



 





 



∀
3





 








 



 
 

(

 
∃




 

 

 
∀

#











 

9


∀
:










!




 


∀
;









 
 


 


∋∀
4


 
∃



∀
&

 


∃


  
% 


  




 
!

  
 

 
.

< 











  ∀
) 










 

  ∀
<
,
 

%
  
 



 

% 
9 




 








∀
4 





 
 




 


 



 

=

∀





 ∀






  

% 


 


 





 ∀

  



 =

 

 

 
−∀

∃
 

 





 





+









 


.








∃7

 ∀2)∋∀∀3∀∀ ∋ ((2∋ ∀8 ∋∀ ∋
∀∀∀4
////////////////////////////////////////&&&
////////////////////////////////////////&&&
//////////////////////////////////////&&&//
////////////////////////////////////////&&&
////////////////////////////////////////&&&
////////////////////////////////////////&&&