近世代数证明题.