A simplification and extension of Fefferman's theorem on biholomorphic mappings