这道高等代数题还要证?