I need to show that the property of being a domain of holomorphy is the same as being a holomorphically convex domain (this result is known as Cartan-Thullen theorem). However, the proofs I found in textbooks (e.g. Shabat) look ugly and are hard to digest.
Is there a reference with a better proof? Can you share your intuition on looking at this result? Thanks in advance.