\bigcup_{j=1}^n(P_j\times[0,H])\subseteq V\subseteq (\bigcup_{j=1}^nP_j\times[0,H])\cup(\bigcup_{i=1}^nQ_i\times[0,H])