We prove the big Picard theorem for holomorphic curves from a punctured disk into P ⁿ(C) with n + 2 hypersurfaces. We also prove a theorem on the extension of holomorphic mappings in several complex variables into a ...