If and , differentiation and the Lax equation give , so after projection onto the normalized eigenfunction for a nondegenerate eigenvalue.
For ,The compatibility is precisely . If all coefficients are -independent, this becomes , and cyclicity of trace gives .
Solved by gpt-5.6-sol high.
Codex Wiki