! ∀! # ∃
%
&∋&! ∃ !#!∀!
(
) ∗ # %+ ∀!, ∋ ) # ∀ − &, −
.
) ∀ ∃! ∀∋ ∀∗ ! /, ∀∋ & ∃! ∗ ∀
0
∋ ∗ /&∗ #∃ #∋ −−&
1
2∋ / ∀ ! !∃ & ∀!! 3!&
4
5∃ ∃ ∃! #∋! ∋ &! ∃∋ !
6
/, ∀ ,∃!
7
5 ! /∃ ∋ ,∃! / ∃ ! ∀!!
+
8, ∀, /! ∀ & ∀
∀∗! ∀9 ∋, !∃ &,∃ & !∃ ∀! 9,& ∀! !∃ ,∀
%
∋ , ∋, ∋ !∃ !
(
!#∃ −!∃ ! ,∃! / ∀∃∋
.
! ,
0
: &−−
1
!&! ! 2∃∃ /,∋ −,!,
4
:, !! / !,
6
5 #∃ ! ∃ ∀ & ! −!
7
2∋ 2,∀ ! :!∃!
%+
) ! :!∃! ; !∃ <
∀ 3∀ − ∋, !
%
(
.
,!
5! /∋ / 5! = / −−∃ 2& 5! %++7
%
(
.
0
1
4
6
7
+
%
(
.
0
1
4
6
7
%+
! ∀! # ∃
&∋&! ∃ − !#!∀!
) ∗ # %+ ∀!, ∋ ) # ∀ − &, −
) ∀ ∃! ∀∋ ∀∗ ! /, ∀∋ & ∃! ∗ ∀
∋ ∗ /&∗ #∃ #∋ −−&
2∋ / ∀ ! !∃ & ∀!! 3!&
5∃ ∃ ∃! #∋! ∋ &! ∃∋ !
/, ∀ ,∃!
5 ! /∃ ∋ ,∃! / ∃ ! ∀!!
8, ∀, /! ∀ & − ∀
∀∗! ∀9 ∋, !∃ &,∃ & !∃ ∀! 9,& ∀! !∃ ,∀
∋ , ∋, ∋ !∃ !
!#∃ −!∃ ! ,∃! / ∀∃∋
! ,
: − &−−
!&! ! 2∃∃ /,∋ −,!,
:, !! / !,
5 #∃ ! ∃ ∀ & ! −!
2∋ 2,∀ ! :!∃! −
) ! :!∃! ; !∃ <
,!
5! /∋ / 5! = / −−∃ 2& 5! %++7