The homogeneous nullstellensatz

Salut je cherche un livre ou je peux trouver la démonstration du théorème "The homogeneous Nullstellensatz" ou une idée de démonstration Merci d'avance !
Théorème :
Si $\mathfrak{a} \subseteq k[x_0, \ldots, x_n]$ est un idéal homogène et si $ f \in k[x_0,\ldots,x_n]$ est un polynome homogène avec $\mathrm{deg} \ f > 0$ tel que $f(P) = 0$ $\forall$ $P \in Z(\mathfrak{a})$ $\in \mathbb P^n$ alors $f^q \in \mathfrak{a}$ pour un certain $q>0$.