  We give a unified proof of the step to find Darboux coordinates and of the
ensuing Birkhoff normal forms procedure, developed in the course of the proof
of asymptotic stability of solitary waves for NLS and special cases of
Nonlinear Dirac equations
