PCA proof, trace move

42 Views Asked by At

In the PCA proof, I see this move: enter image description here

What is the "trace" algebra/rule that allow this trace-move?