Lax pair for
Let us look at how it works for .

(13)

where . This is a tautology.
In our notations:

(14)

slight mismatch: we should have instead of , and a similar mismatch for ; in fact, one can raise and lower indices with