( ) = ) ⇔ < ≠ ( ) = ( = > ( − ) ( ) ∀ # ∃ %& ∋∃(∋ ! ∀ ( ) − ( ) = # ! )∗%∃ ∃+ ! ( ∗∗ ∋∃ ∗∗ ∋∃ %& ,−.%∃ ( − ) − + = ( ( −∃ +− − ) − = ⇔ < − ≠ − + = − ) + −, + = ( − ) + −, = ( − ) + − , =, =, ⇔ < ≠ , ⇔ = − / + = + − ∋( & ! ) 01, 01 + / ! ∀ # ∃ %& ∋∃(∋ % ( # !2 3 & 3 4 5 & 6 < ≠ > ( ) = ⇔ ( ) = 3