Redirecting to Hartogs' theorem