The last estimate has been proved in [1]}.

The next step is to get rid of the remainder term \({R}_0.\)  The properties (REF ), (REF ), (REF ) and Lemma -(v) allows to start a KAM iterative procedure similar to [1]}. We also refer to [3]} for a brief explaination of this method. The result reads as follows.
