  According to a theorem of Treves, the conserved functionals of the AKNS
equation vanish on all pairs of formal Laurent series of a specified form, both
of them with a pole of the first order. We propose a new and very simple proof
for this statement, based on the theory of B\"acklund transformations; using
the same method, we prove that the AKNS conserved functionals vanish on other
pairs of Laurent series. The spirit is the same of our previous paper on the
Treves theorem for the KdV, with some non trivial technical differences.
