А-это не точный квадрат. Предпологается, что коэффициенты многочлена содержится в некотором коммуникативной кольце с еденицей (по теореме безу). Коэффициентами равными числу перемен знаков в ряду его коэффициентов или на чётное число или меньше этого числа(теорема Декарта)