Hartogs' theorem

Also known as Hartogs's theorem on separate holomorphicity

equivalence between "separate" analyticity and analyticity in multiple variables