Let $f$ be a polynomial on $\mathbb{C}^n$. Denote $$X_{R,p} = \{|x|<R\}\cap \{|f(x)|<r\}.$$

In "On the polynomials of I. N. Bernstein" Malgrange writes that H. Hamm proved that $f^{-1}(0)\cap\{|x|<R\}$ is a deformation retract of $X_{R,p}$, for sufficiently large $R$ and small $p$.

Has a proof of this result since appeared in the literature somewhere?

Let $f$ be a polynomial on $\mathbb{C}^n$. Denote $$X_{R,p} = \{|x|<R\}\cap \{|f(x)|<p\}.$$

In "On the polynomials of I. N. Bernstein" Malgrange writes that H. Hamm proved that $f^{-1}(0)\cap\{|x|<R\}$ is a deformation retract of $X_{R,p}$, for sufficiently large $R$ and small $p$.

Has a proof of this result since appeared in the literature somewhere?