Existential Theory: Understanding Last Proposition

[mathmari]

Hey!

I am reading the following lemma about (positive) existential theory:

View attachment 4535

Could you explain to me the last proposition?

Why does this hold?

 

[mathmari]

I found that in a survey... The whole that is related to that is the following:

View attachment 4536

View attachment 4537

View attachment 4538

View attachment 4539

View attachment 4540