Fix an error in
	modified:   proofs/trace_of_matrix/theorems_about_trace.tex