Theorem.

An open set G⊂Cn is a domain of holomorphy if
and only if G is pseudoconvex.

The forward direction (domain of holomorphy implies pseudoconvexity) is
not hard to prove and was known for a long time. The opposite direction
is really what’s called the solution to the Levi problem.