% ∀ ∋       ( ) !  ∗  − &        #    /,00.12 ∃ ∀      ,   5  )  3       % ,     ∋ !     ( #              #  3 (              9                  !    ∀ &        ∀                     −      #        #                 /             7 #            #      # %5          # #         +,   #               # ∃                      &                  #        %  ∋              :;  ) ## 9   554     % ∋ ( ∗ − ∃ 5   % ∋ (                        !     ∀  # ∃   ∀ &        ∀  #                               ) !        # #        +,   #   #     &                       #   ∀      #   ,                  # %5      #     )  3         7 #                  /     ,           &  !     −            #              #        3 (               :;  ) ## 9   554