Let $V \subseteq \{0,1\}^n$, $\log|V| = k$. Consider $V_r:= \bigcup_{x \in V} V_r(x)$, where $V_r(x)$ is a Hamming full-ball of radius $r$ and the center $x$. What is a lower bound for the cardinality of $V_r$? Does the cardinality of $V_r$ is the smallest when $V$ is a Hamming full-ball (like in Harper's theorem)?