EN
In a recent paper, Carlson, Foia艧, Williams and the author proved that isometric Hilbert modules are projective in the category of Hilbert modules similar to contractive ones. In this paper, a simple proof, based on a strengthened lifting theorem, is given. The proof also applies to an equivalent theorem of Foia艧 and Williams on similarity to a contraction of a certain 2 脳 2 operator matrix.