高等代数重要结论