Fix errors in proofs/trace_of_matrix/.