! ∀ ! ∃ % ! & ∋ ∋ ( )∗) + , − # , ! ! % 2 #! / ! ! ! , 3 % , , 4! ! ∀ ∃ 6 % ∀ ∃ ! 8! 9(! 6 ∀ ∀ ∃ + − ∀ ∃ 6 ! # ! #! : % ! & ∋ ∋ ( )∗) # , # / ! ! ! 6 , ! ! # % 2 , 3 % , , 4! ! 6 ! 8! 9(! 6 ∀