Solution
= Solution
Apply the preceding <trace> identity first to the pair $AB,C$ and then to $CA,B$:
$$
\operatorname{Tr}(ABC)=\operatorname{Tr}(CAB)=\operatorname{Tr}(BCA).
$$
This is invariance under cyclic permutation. It does not assert invariance under arbitrary rearrangement of the <matrices>.