Let $f_1, f_2, \ldots, f_m \in \mathbb{Z}[x_1, \ldots, x_n]$. Assume $f_1(X) = f_2(X) = \ldots = f_m(X) = 0$ have no solutions over $\mathbb{C}^n$, then by Hilbert's Nullstellensatz, there exists polynomials $g_1, \ldots, g_m \in \mathbb{C}[x_1, \ldots, x_n]$ such that $1 = f_1 g_1 + \dots f_m g_m$.

In this case, can we always find $g_1, g_2, \ldots, g_m \in \mathbb{Q}[x_1, \ldots, x_n]$ such that $1 = f_1 g_1 + \dots f_m g_m$? In words, if the coefficients of $f_1, \ldots, f_m$ are all integers, can $g_1, g_2, \ldots, g_m$ be taken as polynomials with integer coefficients, such that $f_1 g_1 + \ldots +f_m g_m \in \mathbb{Z}^{+}$?

Added later: I checked Wikipedia on Hilbert's Nullstellensatz. Sorry, it seems to be a stupid question, and the answer is YES.