A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series by Benjamin Puyobro, Benoît Ballenghien and Burkhart Wolff Feb 12