Convergence of the Birkhoff normal form sometimes implies convergence of a normalizing transformation - Rafael de la Llave; Maria Saprykina (2021)