! !    %  &          ∋ ( )      ∗ + &       −       #               1)     0   ∀ )   ∃    !    ∃  /      ∀ # ! ,            )                ∀     2 & + & 2 56 &  100  3  2  ,     ∀ ∃ % ∋ ∗ ,     ∀ ∃                 !     # ! ! !           &     ( )       + &          −         /      #         1)   0    )     )  )                 2 & + & 2 56 &  100  3  2  ,