Proof: 1) ∃ {\displaystyle \ \exists } UFTI Z ⇒ {\displaystyle Z\ \ \Rightarrow \ } fundamental theorem
