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