!    ∀             #    ∀             ! ∀     #     ∃ % & %#∋∋( ) ,−∋∋(    ,−∋∋( )  %#∋∋(    %#∋∋( #∀  ,−∋∋( #          /           ∀ ∗+     ) ∋  # ; %#∋∋(  # −  77 (      +   1  #  4                #          : 3                     ≅                                                < ?       3        )     % )  Α=  Β 7  )  ∃;;9                                             !    !  + +   / 8  +      !               ∀          ∀##∃ %  & ∋ ()##∃ ∗         ()##∃ %      ∋ ∀##∃ ,   ∀##∃     − ()##∃       0        %        ∋                 ∀##∃ ∗  )   ∋ 4 ∃        8   ∋ (     ∗         :              ,  (         )    % )  Α=  Β 7  )  ∃;;9