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

(13)

where . This is a tautology.