更新1:
To : 自由自在 (I - A)^T = A - I provided is to make sure that there is no ambiguity in the type of matrix A, I am not sure if det(I - A^4) is true for all type of matrix.