−
!
∀
#
!
!
∀
!
∀
!
∃
#
%&
∋
!
∀
()∗
2
∃,
−%
∃
&
)
)
%
+
%
& )
&
∋
−
&&2%
∃
&
%&&∋3&
4
−
%
2&&
∗5)
+%
)/31
+
6
%5
∃
/1
&
∋
%&&
&
∃
&
,
%
!
!
∃
+
∋+
,
#
(∗
!
,
−
−
∀
−
∀
&
/∃1
5
2&
∃&
:,
0
∃0
)
∋
%Γ%
&
%&&/4
1∋
2
&
Η
Η
) %
0
%&&,
∀
!5
&4
&
&4
&
%5)
8999ΙΦ8;99ΙΦ,
.5
+5<
ϑ5/0Φ1ΦΚ≅.5
/
1
∋∗
&7),,
!5