Rigidity, Birkhoff normal form, convergence, relative integrability cohomology equations