!! ∀ # ∃ # %∀ &∋ &%( )∗ +, − . . / + +, −0 # . 0 + .∀1 2 3 3 4 −# ∀ 5 . 0 0 . −5 .0 , # 6 −+. 789/ 7 0 +, 0 . ## : ;<)8+!!( +, ∃!!! 23 43 43 +, +, − =! +, + ;< )8+=!( + 0 5 ∃! !! =! 0 . − + + # # +, 2 − +,1 6 # 76 7+ >+ . +, + 0 > + + +4 0 : 5 + +, +, # , + −;#? + 1 5 − . 0 +, . 5 ≅!6∀∋( , +, !∋( Α . +, 1 + −