Given a board consists of $n \times n$ unit squares ($n \ge 3$). Each unit square is colored black and white, resembling a chessboard. In each step, TOMI can choose any $2  \times 2$ square and change the color of every unit square chosen with the other color (white becomes black and black becomes white). Find every $n$ such that after a finite number of moves, every unit square on the board has a same color.
1. **Labeling the Chessboard:**
   We start by labeling the chessboard in $\mathbb{F}_2$, where each square is either $0$ or $1$. This means that the operation of flipping the color of a $2 \times 2$ square corresponds to adding $1$ to each of the four squares in that $2 \times 2$ block (or performing a bitwise XOR operation).

2. **Sum of Columns:**
   Let $A$ be the set of columns on the board. For any column $a \in A$, let $S(a)$ be the sum of the numbers in that column. We will use the following claims to analyze the problem.

3. **Claim 1:**
   There does not exist a step that can change $S(a)$ for an arbitrary $a \in A$.
   - **Proof:** Each step affects two squares in a column by adding $1$ to each. Since we are working in $\mathbb{F}_2$, adding $1$ twice to any number results in no change (i.e., $S(a) + 1 + 1 = S(a)$). Therefore, $S(a)$ remains unchanged under the given operation. $\square$

4. **Claim 2:**
   In order for all squares to be labeled with the same number, $S(a) = S(b)$ must be true for all choices of $a, b \in A$.
   - **Proof:** If every square on the board is to be the same number, then every column must be identical. Consequently, their sums must also be identical. $\square$

5. **Claim 3:**
   If $n$ is even, in order for all of the unit squares to be labeled the same number, $S(a) = 0$ must be true for all $a \in A$.
   - **Proof:** If $n$ is even, each column contains an even number of squares. For all squares to be the same number, the sum of the numbers in each column must be $0$ (since $0 + 0 + \ldots + 0 = 0$ and $1 + 1 + \ldots + 1 = 0$ in $\mathbb{F}_2$). $\square$

6. **Odd $n$:**
   Assume $n$ is odd. By Claim 1, if $b \in A$ is adjacent to any $a \in A$, then $S(a) = S(b) + 1$ always holds after any number and choice of steps. This contradicts Claim 2, so $n$ must be even.

7. **$n \equiv 2 \pmod{4}$:**
   Assume $n \equiv 2 \pmod{4}$. Then $S(a) = 1$ for any $a \in A$. However, due to Claim 1, this contradicts Claim 3. Therefore, it is only possible that $n \equiv 0 \pmod{4}$.

8. **Construction for $n=4$:**
   We now provide a construction for $n=4$. Any chessboard with $n=4k$ for all $k \in \mathbb{Z}^+$ can be subdivided into $4 \times 4$ squares with the same orientation. The moves are shown two at a time by the bolded $2 \times 2$ sets of numbers.

   \[
   \begin{array}{ |c|c|c|c| }
   \hline
   \mathbf{0} & \mathbf{1} & 0 & 1 \\
   \hline
   \mathbf{1} & \mathbf{0} & 1 & 0 \\
   \hline
   0 & 1 & \mathbf{0} & \mathbf{1} \\
   \hline
   1 & 0 & \mathbf{1} & \mathbf{0} \\
   \hline
   \end{array}
   \rightarrow
   \begin{array}{ |c|c|c|c| }
   \hline
   1 & 0 & 0 & 1 \\
   \hline
   \mathbf{0} & \mathbf{1} & \mathbf{1} & \mathbf{0} \\
   \hline
   \mathbf{0} & \mathbf{1} & \mathbf{1} & \mathbf{0} \\
   \hline
   1 & 0 & 0 & 1 \\
   \hline
   \end{array}
   \rightarrow
   \begin{array}{ |c|c|c|c| }
   \hline
   1 & \mathbf{0} & \mathbf{0} & 1 \\
   \hline
   1 & \mathbf{0} & \mathbf{0} & 1 \\
   \hline
   1 & \mathbf{0} & \mathbf{0} & 1 \\
   \hline
   1 & \mathbf{0} & \mathbf{0} & 1 \\
   \hline
   \end{array}
   \rightarrow
   \begin{array}{ |c|c|c|c| }
   \hline
   1 & 1 & 1 & 1 \\
   \hline
   1 & 1 & 1 & 1 \\
   \hline
   1 & 1 & 1 & 1 \\
   \hline
   1 & 1 & 1 & 1 \\
   \hline
   \end{array}
   \]

Thus, $n=4k$ works for all $k \in \mathbb{Z}^+$.

The final answer is $\boxed{n = 4k, \forall k \in \mathbb{Z}^+}$.