Оценки вещественных корней систем алгебраических уравнений

Пусть $V\subset\mathbb R^n$ – вещественное алгебраическое многообразие, заданное системой уравнений $f_1=f_2=\dots=f_m=0$, где $f_i\in\mathbb Q[x_1,\dots,x_n]$ $(i=1,2,\dots,n)$. Обозначим через $L$ максимальную из битовых длин записей коэффициентов системы и положим $d=\sum_{i=1}^n\operatorname{deg}f_i$, $r=\binom{n+2d}n$. Доказано, что для любой компоненты $V'$ многообразия $V$ найдется такая точка $x=(x_1,\dots,x_n)\in V'$, что $|x_i|<2^{H(r,L)}(i=1,\dots,n)$, где $H$ – некоторый многочлен, не зависящий от исходной системы. Если $V$ компактно, то любая точка $x\in V$ обладает указанным свойством.