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