proof of the properties of the trace of a matrix