Theorems about polynomials