We reduce the theorem of Chevalley into the proposition stated in the exercise by several steps.
To do so, we need some lemmas.
Notation
Let $X$ be a scheme.
We denote the ring of global sections of the structure sheaf $\mathcal{O}_X$ of $X$ by $\Gamma(X, \mathcal{O}_X)$.
By abuse of notatation, we often write $\Gamma(X)$ instead of $\Gamma(X, \mathcal{O}_X)$
if there is no risk of ambiguity.
Lemma 1
Let $f\colon X \rightarrow Y$ be a morphism of schemes.
Suppose $f$ is a morphism of finite type and $Y$ is a noetherian scheme.
Then $X$ is a noetherian scheme.
Proof:
Let $x$ be a point of $X$.
Since $f$ is of finite type, there exist an affine open neighborhood $U$ of $x$
and an affine open neighborhood $V$ of $f(x)$ such that $f(U) \subset V$
and the induced ring map $\Gamma(V) \rightarrow \Gamma(U)$ is of finite type.
Since $Y$ is a noetherian scheme, $\Gamma(V)$ is noetherian(Hartshorne II, Proposition 3.2).
Since $\Gamma(V) \rightarrow \Gamma(U)$ is of finite type, $\Gamma(U)$ is noetherian.
Hence $X$ is a locally noetherian scheme.
Since $f$ is quasi-compact and $Y$ is quasi-compact, $X$ is quasi-compact.
Hence $X$ is a noetherian scheme.
QED
Lemma 2
Let $X$ be a noetherian scheme.
Let $U$ be an open subset of $X$.
Then the canonical injection $f\colon U \rightarrow X$ is a morphism of finite type.
Proof:
It is clear that $f$ is locally of finite type.
Since $X$ is noetherian, every subset of $X$ is quasi-compact.
Hence $f$ is quasi-compact.
Therefore $f$ is of finite type.
QED
Lemma 3
Let $Z$ be a closed subscheme of a scheme $X$.
Then the canonical injection $f\colon Z \rightarrow X$ is a morphism of finite type.
Proof:
Let $V$ be an open affine subset $X$.
Let $A = \Gamma(V, \mathcal{O}_X)$.
Then the closed subscheme $Z \cap V$ of $V$ is isomorphic to Spec($A/I$)
for some ideal $I$ of $A$. Hence $f$ is locally of finite type.
Since Spec($A/I$) is quasi-compact, $f$ is quasi-compact.
Hence $f$ is of finite type.
QED
Lemma 4
Let $X$ be a noetherian scheme.
Let $Z$ be a subscheme of $X$.
Then the canonical injection $f\colon Z \rightarrow X$ is a morphism of finite type.
Proof:
There exists an open subscheme $U$ of $X$ such that $Z$ is a closed subscheme of $U$.
Let $h\colon Z \rightarrow U$ and $g\colon U \rightarrow X$ be the canonical injections.
By Lemma 2, $g$ is of finite type.
By Lemma 3, $h$ is of finite type.
Hence $f = g\circ h$ is of finite type.
QED
Lemma 5
Let $(X_i)$ be a finite family of schemes of finite type over a scheme $S$.
Then the coproduct $\sqcup X_i$ is of finite type over $S$.
Proof:
Clear.
Definition
Let $X$ be a topological space.
A finite union of locally closed subset of $X$ is called quasi-constructible.
If $X$ is a noetherian topological space, a quasi-constructible subset of $X$ is called
constructible.
Lemma 6
Let $X$ be a topological space.
Let $W$ be a locally closed subset of $X$.
Let $Z$ be a subset of $Z$.
Then $Z$ is a locally closed subset of $X$ if and only if it is a locally closed subset of $W$.
Proof:
Suppose $Z$ is a locally closed subset of $X$.
There exist an open subset $U$ of $X$ and a closed subset $F$ of $X$ such that $Z = U \cap F$.
Since $Z = Z \cap W = U \cap F \cap W$, $Z$ is a locally closed subset of $W$.
Conversely suppose $Z$ is a locally closed subset of $W$.
There exist an open subset $U$ of $X$ and a closed subset $F$ of $X$ such that $Z = U \cap F \cap W$. Hence $Z$ is a locally closed subset of $X$.
Lemma 7
Let $X$ be a topological space.
Let $W$ be a locally closed subset of $X$.
Let $Z$ be a subset of $W$.
Then $Z$ is a quasi-constructible subset of $X$ if and only if it is a quasi-constructible subset of $W$.
Proof:
This follows immediately from Lemma 6.
Lemma 8
Let $X$ be a topological space.
Let $(W_i)$ be a finite cover of $X$.
Suppose each $W_i$ is a locally closed subset of $X$.
Let $Z$ a subset of $X$.
Then $Z$ is a quasi-constructible subset of $X$ if and only $Z \cap W_i$ is a quasi-constructible subset of $W_i$ for every $i$.
Proof:
This follows immediately from $Z = \bigcup_i (Z \cap W_i)$ and Lemma 7.
Lemma 9
Let $f\colon X \rightarrow Y$ be a morphism of affine schemes.
Then there exist a closed subscheme $Z$ of $Y$ and a morphism $g\colon X \rightarrow Z$
such that $f = j\circ g$ and $g(X)$ is dense in $Z$,
where $j\colon Z \rightarrow X$ is the canonical morphism.
Moreover, if $f$ is of finite type, $g$ is of finite type.
Proof:
Suppose $X =$ Spec$(B)$, $Y =$ Spec$(A)$.
Let $\psi\colon A \rightarrow B$ be a homomoprphism which induces $f$.
Let $I$ be the kernel of $\psi$.
Then $C = \psi(A)$ is canonically isomorphic to $A/I$.
$\psi$ factors into $A \rightarrow C \rightarrow B$, where $C \rightarrow B$ is the canonical injection.
If $B$ is of finite type over $A$, $B$ is of finitye over $C$.
Letting $Z =$ Spec$(C)$ we are done.
QED
We will reduce the theorem in several steps.
Step 1.
We may assume $Z = X$.
Proof:
Let $Z = (U_1 \cap F_1)\cup \cdots \cup (U_n \cap F_n)$, where $U_i$ is an open subset of $X$ and $F_i$ is a closed subset of $X$.
Let $Z_i = U_i\cap F_i$ for each $i$.
We consider each $Z_i$ as a reduced closed subscheme of $U_i$.
By Lemma 4, the canonical morphism $Z_i \rightarrow X$ is of finite type.
Let $Z' = \sqcup Z_i$ be a coproduct of schemes.
Let $g\colon Z' \rightarrow X$ be the canonical morphism.
By Lemma 5, $g$ is of finite type.
Since $g(Z') = Z$, $fg(Z') = f(Z)$.
Since $fg$ is of finite type, we may replace $f$ with $fg$.
Step 2.
We may assume $Y$ is affine.
Proof:
Let $(V_i)$ be a finite open affine cover of $Y$.
By Lemma 8, $f(X)$ is constructible in $Y$ if $f(X) \cap V_i$ is constructible in $V_i$ for all $i$.
Let $f_i\colon f^{-1}(V_i) \rightarrow V_i$ be the restriction of $f$.
Then $f_i(f^{-1}(V_i)) = f(X) \cap V_i$.
Clearly $f_i$ is of finite type.
Hence it suffices to prove that $f_i(f^{-1}(V_i))$ is constructible in $V_i$ for each i.
Step 3.
We may assume $X$ is affine.
Proof:
Let $(U_i)$ be a finite open affine cover of $X$.
Let $g_i\colon U_i \rightarrow X$ be the canonical ingection for each $i$.
Let $f_i = f\circ g_i$.
Since $X$ is a noetherian scheme by Lemma 1, $g_i$ is of finite type by Lemma 2.
Since $f$ is of finite type, $f_i$ is of finite type.
Since $f(X) = \bigcup f_i(U_i)$, it suffices to prove $f_i(U_i)$ is constructible in $Y$ for each $i$.
Step 4.
We may assume $Y$ is irreducible.
Proof:
Let $Y_1,\dots,Y_m$ be irreducible components of $Y$.
By Lemma 8, it suffices to prove $f(X) \cap Y_i$ is constructible in $Y_i$ for each $i$.
We regard $Y_i$ as a reduced closed subscheme of $Y$.
Let $f_i\colon X\times_Y Y_i \rightarrow Y_i$ be the canonical morphism.
Since $f$ is of finite type, $f_i$ is of finite type.
Since $f(X) \cap Y_i = f_i(f^{-1}(Y_i))$ and $f^{-1}(Y_i) = X\times_Y Y_i$, we may replace $f$ with $f_i$.
Step 5.
We may assume $X$ is irreducible.
Proof:
Let $X_1,\dots,X_n$ be irreducible components of $X$.
Since $f(X) = \bigcup f(X_i)$, it suffices to prove $f(X_i)$ is constructible in $Y$ for each $i$.
We regard each $X_i$ as a reduced closed subscheme of $X$.
Let $g_i\colon X_i \rightarrow X$ be the canonical morphism.
Since $g_i$ is of finite type by Lemma 3, $fg_i$ is of finite type.
Hence we may replace $f$ with $f_i = fg_i$.
Step 6.
We may assume $f$ is dominant.
Proof:
By Lemma 9, there exist a closed subscheme $Z$ of $Y$ and a morphism $g\colon X \rightarrow Z$
of finite type such that $f = j\circ g$ and $g(X)$ is dense in $Z$,
where $j\colon Z \rightarrow X$ is the canonical morphism.
By Lemma 7, if $f(X)$ is constructible in $Z$, $f(X)$ is constructible in $Y$.
Hence we may replace $f$ with $g$.
Step 7.
We may assume $X$ and $Y$ are integral.
Proof:
We may replace $f$ with $f_{red}\colon X_{red} \rightarrow Y_{red}$.