If some term exists at all, the antecedent here even implies , which in turn itself also implies the conclusion here (this is again the very first formula mentioned in this section).
If some term exists at all, the antecedent here even implies , which in turn itself also implies the conclusion here (this is again the very first formula mentioned in this section)