On the Treves theorem for the Ablowitz-Kaup-Newell-Segur equation