An elementary proof of Fefferman's theorem (Q1191722)

The theorem of C. Fefferman states: If \(f: D\to D'\) is a biholomorphic mapping between bounded domains \(D\) and \(D'\) in \(\mathbb{C}^ n\) with smooth strongly pseudoconvex boundaries, then \(f\) extends to a smooth diffeomorphism of \(\overline D\) onto \(\overline{D'}\). There are several proofs of this theorem, the original proof by Fefferman being very involved. The author asserts that he gives another proof accessible also to beginners in complex analysis. The proof uses the Julia-Carathéodory Theorem for mappings of balls.