Let $A$ be a noetherian ring, and $B$ a finitely generated $A$-algebra. Then $B$ is noetherian.

PROOF:

1. Use that we have surjective map from 1;;$k[x_1,\dots ,x_n]$ onto $B$.
2. Use Hilbert's basis theorem