is the canonical map.
According to Corollary 1.2, we can assume that for any
${\Pi}^{d}\in \mathcal{P}$
, the number of pairwise disjoint, at most
$n$
-dimensional simplexes
$\sigma \in L$
with
$h\left(\sigma \right)$
meeting
${\Pi}^{d}$
, is
$\le q$
. We can also assume that
$\omega $
is of order
$\le n+1$
, so
$L$
is at most
$n$
-dimensional. If there exists a plane
${\Pi}^{*}\in \mathcal{P}$
with
${g}^{-1}\left({\Pi}^{*}\right)$
intersecting every
${\overline{V}}_{i}$
, choose
${x}_{i}\in {g}^{-1}\left({\Pi}^{*}\right)\cap {\overline{V}}_{i}$
, and let
${\omega}_{i}$
be the family of those elements of
$\omega $
containing the point
${x}_{i}$
. Then each family
${\omega}_{i}$
,
$i=1,...,q+1$
, generates a simplex
${\sigma}_{i}\in L$
of dimension
$\le n$
such that
$h\left({x}_{i}\right)\in h\left({\sigma}_{i}\right)\cap {\Pi}^{*}$
and
${\sigma}_{i}\cap {\sigma}_{j}=\varnothing $
for
$i\ne j$
. This contradicts the choice of
$h$
. □