Reference request: placing a set with respect to the integer grid For $x=(x_1,...,x_n)\in \mathbb{R}^n$, let $Q_x=(x_1,x_1+1)\times ...\times (x_n,x_n+1)$ - the open cube having $x$ in its "bottom left" corner. It seems, I can prove (see a draft here) the following 
Theorem. Let $K\subset\mathbb{R}^n$. There is $v\in \mathbb{R}^n$ so that 
for any $m\in\mathbb{Z}^n$, either $v+K\cap Q_m\ne\varnothing$, or $v+K\cap \overline{Q_m}=\varnothing$. In fact, such $v$'s for a co-meager set in $\mathbb{R}^n$.
This means that we can shift the integer grid so that there is no cube that intersects $K$ only by the boundary (of the cube).
My proof is not very clever, but rather lengthy, and I am not sure I like the way it is written.

Is this fact known?

Edit: Based on Mathieu Baillif's comment it was possible to give a rather simple proof of a similar fact in the context of general Baire topological group. I am however still looking for a reference.
 A: Based on Mathieu Baillif's comment we can actually prove a much more abstract 
Theorem. Let $G$ be a Cech-complete topological group, let $U_n$ be a sequence of non-empty open sets in $G$, and let $K\subset G$. Then there is $g\in G$ such that for every $n$ either $gK\cap U_n\ne \varnothing$ or $gK\cap \overline{U_n}= \varnothing$. Moreover, such $g$'s form a co-meager set.
Of course, in the context of the original question $G$ is the Euclidean space, and $U_n$ is the sequence of the cubes formed by the integer grid.
Proof. Observe that $A,B\subset G$ we have that $\{g\in G: gA\cap B\ne\varnothing\}=BA^{-1}$. Indeed, $gA\cap B\ne\varnothing$ iff there are $a\in A$ and $b\in B$ such that $ga=b$ or $g=ba^{-1}$.
Let $H_n=\{g\in G,~ gK\cap U_n= \varnothing,~ gK\cap \overline{U_n}\ne \varnothing\}$. Then, $H_n=\overline{U_n}A^{-1}\backslash U_nA^{-1}$. Since $U_n$ is open, so is $U_nA^{-1}$ as a union of open sets. Hence, $\overline{H_n}\subset\overline{\overline{U_n}A^{-1}}\backslash U_nA^{-1}$.
Since the product is continuous from $G\times G$ into $G$ it follows that $$\overline{U_nA^{-1}}\subset \overline{\overline{U_n}A^{-1}}\subset \overline{\overline{U_n}\cdot\overline{A^{-1}}}=\overline{U_n\cdot A^{-1}},$$ from where $\overline{H_n}\subset\overline{U_nA^{-1}}\backslash U_nA^{-1}=\partial (U_nA^{-1})$. A boundary of an open set is nowhere dense, and so $H_{n}$ is nowhere dense.
The set $G\backslash \bigcup H_n$ is co-meager (and so non-empty). If $g\in G\backslash \bigcup H_n$, then for every $n$ $g\notin H_n$, from where either $gK\cap U_n\ne \varnothing$ or $gK\cap \overline{U_n}= \varnothing$. $\square$
