The Hartogs Theorem for holomorphic functions is generalized in two settings: a CR version (Theorem 1.2) and a corresponding theorem based on it for $C^k$$\overline{\partial }$-closed forms at the critical degree, $0\le k\le \infty$ (Theorem 1.1). Part of Frenkel’s lemma in $C^k$ category is also...