高等代数多项式有哪些定理?