(∃1x) φx. (∃1x) ψx. Ind . ⊃ . (∃1 + 1x) φx ⌵ ψx.
(∃1 + 1x) φx. (∃1x) ψx. Ind . ⊃ . (∃(1 + 1) + 1x) φx ⌵ ψx.


      (1 + 1) + 1 = 1 + 1 + 1