Redirecting to Hartogs' lemma