Hilbert's Basis Theorem

Theorem
If $$A \ $$ is a Noetherian ring with identity, then so is $$A[x] \ $$.

Proof
in progress