2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/80453We have found a possibility to streamline the proof of the Treves' theorem (Duke Math. J., 108, 251-295, 2001) on an algebraic characterization of the KdV hierarchy which makes it significantly shorter, following essentially the logic of the original proof.LaTeX, 7 pagesExactly Solvable and Integrable Systemstext