Proof of the Treves theorem on the KdV hierarchy Leonid Dickey (2005) Annales de l’institut Fourier A new, shorter, proof of the Treves theorem on an algebraic criterion for the first integrals of the KdV hierarchy is given, along with an addition to the theorem.