  In this paper we prove an abstract KAM theorem adapted to the Klein Gordon
equation on the sphere $\mathbb S^2$ and for the quantum harmonic oscillator on
$\mathbb R^2$ with regularizing nonlinearity.
