(n) ∙ (∃m) m =
n
2
      (n) ∙ (∃
n
2
)