#∃ ! ## # ∃
∗ ∋ #
% & ∃∃ # ! ∋ ( # ∋ )
& +
∀
#!∃∀∃! %
! &
∀ #
∀ #
! !
∃
∀
∋ (
! !
!) ∗
!) ∗
+ !∋ (
, ∋ − , ∋ !) ∗ ∃
))
! ∋ ∋ #
, %
! −! . ∗ % &
! #! . ∗ % &
#!∃∀∃! %
! !
, %
! &
∋ (
∋ (
+ !∋ (
∗∋ / ) ! ∀ ∗ ∋ ∋∃/
!∀ #∃ # ∃ % !
∃
!∀