. . "Theorem about polynomials" . .