∀ + 6 ∃ % ∃ 0 ∀ % Ε#8# Η∋ Γ + ∀ Η()∗ ! + ∀ Η Ε+ ∗ ∀ Η Γ% ;0 % 7 ∃ , ! 1 ) ) ∃ ∃ ∃ ∃ Η , ! ∀ ) Ε#8# Η∋ Γ Ε# Η Γ% ; ) ) ∃ + ! ∀ )∗ ∃ + 0 ! ∀ / Μ Α 2! − ) 0 ∃ + Χ !1! 2> ∆! ∀ ) , ∃ Ε#8# Η∋ Γ() ! =! 7 Η , Χ1 ∃ ) ∆ ; ΕΗ#Λ;1 −5 ;Γ! ∀ Μ 7 ∃ 9 ∃ ! Χ# 3Ν( Ν −2∆ Λ ; ΕΗ#Λ;1 ; ΚΓ
Μ 9 ! <! ∀ 7 ∃ ∃ #8# Η∋ Μ 7 ∃ ∃ ! ∀ + ∃ 2> ! 3! ) ∃ + ∃ %
− % ∃ ) ∋0 ! ! 9 ) ∃ ∃ 7 ∃ ∃ ; Μ ! 2> % ) + , , % 2> ! 1 ) 7 ∃ ; Χ# ∆ ∃ % ) ∃ ! Λ − ∃ ) ), ∃ !