1: \begin{definition} A $2^n$-refinement of a cube $K\subset \mathbb{R}^n$ is a refinement into $2^n$ congruent cubes $Q= \lbrace K^1, K^2,..,K^{2^n}  \rbrace$.  

2: 

3: 

4: %\begin{figure}[H]

5: %\begin{center}

6: %\begin{tikzpicture}

7: %  \draw (0,0) -- (2,0) ;

8: %  \draw (0,0) -- (0,2);

9: %   \draw (2,0) -- (2,2);

10: %   \draw (0,2) -- (2,2);

11: %   \draw (1,0) -- (1,2);

12: %   \draw (0,1) -- (2,1); 

13: % \node[text width=1cm] at (0.8,0.5) {$K^1$};

14: % \node[text width=1cm] at (1.7,0.5) {$K^2$}; 

15: % \node[text width=1cm] at (0.8,1.5) {$K^3$};

16: % \node[text width=1cm] at (1.7,1.5) {$K^4$};

17: %\end{tikzpicture}

18: %\end{center}

19: %\caption{4-refinement in $\mathbb{R}^2$.}

20: %\end{figure}

21: 

22: %\begin{figure}[H]

23: %\begin{center}

24: %\begin{tikzpicture}

25: %\foreach \x in{0,...,2}

26: %{   \draw (0,\x ,2) -- (2,\x ,2);

27: %    \draw (\x ,0,2) -- (\x ,2,2);

28: %    \draw (2,\x ,2) -- (2,\x ,0);

29: %    \draw (\x ,2,2) -- (\x ,2,0);

30: %    \draw (2,0,\x ) -- (2,2,\x );

31: %    \draw (0,2,\x ) -- (2,2,\x );

32: %}

33: %\end{tikzpicture}

34: %\end{center}

35: %\caption{8-refinement in $\mathbb{R}^3$.}

36: %\end{figure}

37: 

38: \begin{figure}[H]  

39: \begin{center}

40: \includegraphics[height=1.1in,width=1.1in]{2refi.eps}\\ 

41: \caption{4-refinement in $\mathbb{R}^2$.}

42: \includegraphics[height=1.2in,width=1.2in]{3refi.eps}\\ 

43: \caption{8-refinement in $\mathbb{R}^3$.}

44: \end{center}

45: \end{figure}

46: 

47: 

48: 

49: 

50: We say that a $2^n$-refinement of $Q$ verifies the Poincar\'e-Miranda condition if there exist $K^l \in Q$ such that $\mbox{\bf{F}} : K^l \rightarrow \mathbb{R}^n$ verifies the condition of Theorem \ref{Poin-Mir_Teo}.    

51: \end{definition}

52: