中文摘要：

对C^2中某类Hartogs域的逆紧全纯自映射证明了刚性定理，即逆墅全纯自映射必定为全纯自同构．此类域是光滑有界拟凸完全的Hartogs域，且它的边界上具有无限型点．

英文摘要：

The purpose of this paper is to prove that every proper holomorphic self-mapping of certain Hartogs domains must be an automorphism.