Hartogs' theorem