I'm trying to understand this proof:

I know intuitively, but Why formally there is such a minimal element?
I need help
Thanks
I'm trying to understand this proof:

I know intuitively, but Why formally there is such a minimal element?
I need help
Thanks
Because we are supposing this set is non-empty and $\mathbb A^n$ is noetherian, the result follows easily.