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