2 term must be overall invariant under cyclic permutations, we know that the sum of terms with M in the 1st position must be equal to a cyclic permutation acting on one of the terms with M in another position. To make this argument more convincing, we will show this explicitly by combining the three terms with M in the 1st position into a single term: