! ! ∀  #     ∃ !  #   ∗ &   + ∃!       , %                         ∋ (                       %  &! !   ) !                      − !     !      / !  !     ) ! −   #    2 &     %         )!          #                   3      #                 !  )!  (     #    !  #    ∀ )   !   3  &  ∋ &  ∗     #         #     + /  !  !      , /  !     !5    0      !   !  1      !       ! !  0           !      0      /  6 /  78   &∃  /  2     ∀ ∋ ∗ + , 2   ∀ ∋ ∗ + ,  1                     ! !              #    ∃ ! %  &! ! (   #    ) !  &         ∃!            %            − !     !      / !  !    ) ! −   #       )!        &      #              ) !         %         3 !         !  )!  (        #        #   !  #    )   !  3  &  &    #          #      /  !  !       0 /  !    !5    0      !  !         !  ! !  0             !    /  6 /  78   &∃  /  2