2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/65124Let f be a proper holomorphic mapping between bounded domains D and D' in C^2. Let M, M' be open pieces on the boundaries of D and D' respectively, that are smooth, real analytic and of finite type. Suppose that the cluster set of M under f is contained in M'. It is shown that f extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in C^2.18 pagesComplex VariablesA local extension theorem for proper holomorphic mappings in C^2text