( )
=
)
⇔ < ≠
( ) =
(
=
>
( − )
( )
∀
# ∃
%& ∋∃(∋
!
∀
( ) − ( ) =
# ! )∗%∃ ∃+
!
(
∗∗ ∋∃
%& ,−.%∃ + −
+ − >
+ − −
)(
(
=
)
(
)
−
= + −
− +
±
)
− < <
⇔ − − =
=
+ =
!∀
#
π
π π
π
+
= ⇔
+ = ⇔ + = + π ⇔ = + π ∈
∃
%