A Note on the Minimum Size of a Point Set Containing Three Nonintersecting Empty Convex Polygons

Abstract

Let P be a planar point set with no three points collinear, k points of P be a k-hole of P if the k points are the vertices of a convex polygon without points of P. This article proves 13 is the smallest integer such that any planar points set containing at least 13 points with no three points collinear, contains a 3-hole, a 4-hole and a 5-hole which are pairwise disjoint.

1. Introduction

In this paper, we deal with the finite planar point set P in general position, that is to say, no three points in P are collinear. In 1935, Erdős and Szekeres [1], posed a famous combinational geometry question: Whether for every positive integer $m\ge 3$, there exists a smallest integer $ES(m)$, such that any set of n points ($n\ge ES(m)$), contains a subset of m points which are the vertices of a convex polygon. It is a long standing open problem to evaluate the exact value of $ES(m)$. Erdős and Szekeres [2] showed that $ES(m)\ge 2^{m-2}+1$, which is also conjectured to be sharp. We have known that $ES(4)=5$ and $ES(5)=9$. Then by using computer, Szekeres and Peters [3] proved that $ES(6)=17$. The value of $ES(m)$ for all $m>6$ is unknown.

For a planar point set P, let k points of P be a k-hole of P if the k points are the vertices of a convex polygon whose interior contains no points of P. Erdős posed another famous question in 1978. He asked whether for every positive integer k, there exists a smallest integer $H(k)$, such that any set of at least $H(k)$ points in the plane, contains a k-$hole$. It is obvious that $H(3)=3$. Esther Klein showed $H(4)=5$. Harborth [4] determined $H(5)=10$, and also gave the configuration of nine points with no empty convex pentagons. Horton [5] showed that it was possible to construct arbitrarily large set of points without a 7-hole, That is to say $H(k)$ does not exist for $k\ge 7$. The existence of $H(6)$ had been proved by Gerken [6] and Nicolás [7], independently. In [8], Urabe first studied the disjoint holes problems when hewas considering the question about partitioning of planar point sets. Let $Ch(P)$ stand for the $convex$ $hull$ of a point set P. A family of holes ${\left\{H_i\right\}}_{i\in I}$ is called pairwise disjoint if $Ch(H_i)\cap Ch(H_j)=\varnothing$, $i\ne j;i\in I,j\in I$. These holes are disjoint with each other. Determine the smallest integer $n(k_1,\dots ,k_l)$, $k_1\le k_2\le \dots \le k_l$, such that any set of at least $n(k_1,\dots ,k_l)$ points of the plane, contains a $k_i$-$hole$ for every i, $1\le i\le l$, where the holes are disjoint. From [9], we know $n(2,4)=6$, $n(3,3)=6$. Urabe [8] showed that $n(3,4)=7$, while Hosono and Urabe [10] showed that $n(4,4)=9$. In [11], Hosono and Urabe also gave $n(3,5)=10$, $12\le n(4,5)\le 14$ and $16\le n(5,5)\le 20$. The result $n(3,4)=7$ and $n(4,5)\le 14$ were re-authentication by Wu and Ding [12]. Hosono and Urabe [9] proved $n(4,5)\le 13$. $n(4,5)=12$ by Bhattacharya and Das was published in [13], who also discussed the convex polygons and pseudo-triangles [14]. Hosono and Urabe also changed the lower bound on $H(5,5)$ to 17 [9], and Bhattacharya and Das showed the upper bound on $n(5,5)$ to 19 [15]. Recently, more detailed discussions about two holes are published in [16]. Hosono and Urabe in [9] showed $n(2,3,4)=9$, $n(2,3,5)=11$, $n(4,4,4)=16$. We showed $n(3,3,5)=12$ in [17]. We have proved that $n(3,3,5)=12$ [17], $n(4,4,5)\le 16$ [18] and also discuss a disjoint holes problem in preference [19]. In this paper, we will continue discussing this problem and prove that $n(3,4,5)=13$.

2. Definitions

The $vertices$ are on convex hull of the given points, from the remaining $interior$ $points$. Let $V(P)$ denote a set of the vertices and $I(P)$ be a set of the interior points of P. $|P|$ stands for the number of points contained in P. Let $p_1,p_2,\dots ,p_k$ be k points of P, we know that $p_1,p_2,\dots ,p_k$ be a k-hole H when the k points are the vertices of a convex polygon whose interior does not contain any point of P. And we simply say $H={(p_1{p}_2\cdots p_k)}_k$. As in [9], let $l(a,b)$ be the line passing points a and b. Determine the closed half-plane with $l(a,b)$, who contains c or does not contain c by $H(c;ab)$ or $H(\overline{c};ab)$, respectively. R is a region in the plane. An interior point of R is an element of a given point set P in its interior, and we say R is empty when R contains no interior points, and simply $R=\varnothing$. The interior region of the angular domain determined by the points a, b and c is a convex cone. It is denoted by $\gamma (a;b,c)$. a is the apex. b and c are on the boundary of the angular domain. If $\gamma (a;b,c)$ is not empty, we define an interior point of $\gamma (a;b,c)$ be attack point $\alpha (a;b,c)$, such that $\gamma (a;b,\alpha (a;b,c))$ is empty, as shown in Figure 1.

For $\beta =b$ or $\beta =c$ of $\gamma (a;b,c)$, let ${\beta }^{{}^{\prime }}$ be a point such that a is on the line segment $\overline{\beta {\beta }^{{}^{\prime }}}$. $\gamma (a;b^{{}^{\prime }},c)$ means that a lies on the segment $\overline{b{b}^{{}^{\prime }}}$. Let $v_1,v_2,v_3,v_4\in P$ and ${(v_1{v}_2{v}_3{v}_4)}_4$ be a 4-hole, as shown in Figure 2. We name $l(v_3,v_4)$ a separating line, denoted by $SL(v_3,v_4)$ or $S{L}_4$ for simple, when all of the remaining points of P locate in $H(\overline{v_1};v_3{v}_4)$.

We identify indices modulo t, when indexing a set of t points.

3. Main Result and Proof

Theorem 1.

[9] For any planar point set with at least 13 points in general position, if there exists a separating line $S{L}_4$, which separates a 4-hole from all of the remaining points, we always can find a 3-hole, a 4-hole and a 5-hole which are pairwise disjoint.

From [20], we know that $13\le n(3,4,5)\le 14$. In this note we will give the exact value of $n(3,4,5)$, that is the following theorem.

Theorem 2.

$n(3,4,5)=13$, that is to say, 13 is the smallest integer such that any planar point set with at least 13 points in general position, we always can find a 3-hole, a 4-hole and a 5-hole which are pairwise disjoint.

Proof. 

Let P be a 13 points set. $CH(P)=\{v_1,v_2,\dots ,v_l\}$. If we can find a 5-hole and a disjoint convex region with at least 7 points remained, we are done by $n(3,4)=7$ [8]. That is to say, if we find a straight line which separates a 5-hole from at least 7 points remained, the result is correct. We call such a line a cutting line through two points u and v in P, denoted by $L_5(u,v)$. If we can find a 4-hole and the vertices number of the remaining points is more than 4, we are done by Theorem 1, where the two parts are disjoint. That is to say, if we can find such a cutting line through two points m and n in P, denoted by $L_4(m,n)$, our conclusion is correct. Therefore, in the following proof, if we can find a cutting line $L_5(u,v)$ or $L_4(m,n)$, our conclusion must be true.

In the following, we will assume there does not exist a separating line $S{L}_4$. Then there must exist a point $p_i$, such that $\gamma (p_i;v_i,v_{i-1}^{{}^{\prime }})$ and $\gamma (p_i;v_{i-1},v_i^{{}^{\prime }})$ are empty, as shown in Figure 3. Considering the 13 points, it is easy to know the conclusion is obvious right when $|V(P)|\ge 7$. Next, we discuss the considerations that $3\le |V(P)|\le 6$.

Case 1$|\mathit{V}(\mathit{P})|=\mathbf{6}$.

Let ${\mathit{v}}_{\mathit{i}}\in \mathit{V}(\mathit{P})$ for $\mathit{i}=\mathbf{1},\mathbf{2},\dots \mathbf{6}$. As shown in Figure 4, we have the points ${\mathit{p}}_{\mathit{i}}$ for $\mathit{i}=\mathbf{1},\mathbf{2},\dots \mathbf{6}$, such that the shaded region is empty and we have 1 point ${\mathit{p}}_{\mathbf{7}}$ remained.

As the isomorphism of geometry from Figure 4, we only discuss one case. And the rest could be obtained in the same way.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})=\varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{v}}_{\mathbf{1}},\mathit{\alpha }({\mathit{v}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{6}}))$.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\ne \varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{4}})$.

Case 2$|\mathit{V}(\mathit{P})|=\mathbf{5}$.

Let ${\mathit{v}}_{\mathit{i}}\in \mathit{V}(\mathit{P})$ for $\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3},\mathbf{4},\mathbf{5}$. We have 5 friend points ${\mathit{p}}_{\mathit{i}}$ for $\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3},\mathbf{4},\mathbf{5}$ as shown in Figure 5. Then we have 3 points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}$ remained.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{1}},\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }}))$.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{5}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }})=\varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{5}},{\mathit{p}}_{\mathbf{1}}))$.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{5}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }})\ne \varnothing$. Suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{5}};{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})=\varnothing$. If $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$ has two of the remaining points say ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}$, ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{5}})$, let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }})$: and if ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$; and if ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{p}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{5}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{4}})$ has two of the remaining points, symmetrically, the conclusion is also right. Suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{5}};{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\ne \varnothing$. We may suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$, ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{5}};{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})$, ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{5}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{5}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{4}}{\mathit{v}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{4}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Case 3$|\mathit{V}(\mathit{P})|=\mathbf{4}$.

Let ${\mathit{v}}_{\mathit{i}}\in \mathit{V}(\mathit{P})$ for $\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3},\mathbf{4}$. We have 4 friend points ${\mathit{p}}_{\mathit{i}}$ for $\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3},\mathbf{4}$. Then we have 5 points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}}$ remained as shown in Figure 6.

If $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})=\varnothing$ or $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})=\varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{4}},\mathit{\alpha }({\mathit{p}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }}))$ or ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{4}},\mathit{\alpha }({\mathit{p}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }}))$. Then we will consider that $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})\ne \varnothing$.

Assume one of the five points say ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ and the remaining four say ${\mathit{r}}_{\mathit{i}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$, $\mathit{i}=\mathbf{2},\mathbf{3},\mathbf{4},\mathbf{5}$. (If $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ has four points and $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ has one point, symmetrically, the conclusion is also right). Let ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$.

Suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$ or ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{4}})$. We always have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{4}})$. Suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{2}})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}}))$. We have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{4}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$. We have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Assume two of the five points, say ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ and the remaining three say ${\mathit{r}}_{\mathit{i}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$, $\mathit{i}=\mathbf{3},\mathbf{4},\mathbf{5}$. (If $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ has three points and $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{H}({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{4}})$ has two points, symmetrically, our conclusion is also right.)

Suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{4}})=\varnothing$. If $\mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})\ne \varnothing$, let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{4}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. If $\mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})=\varnothing$, we have ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{4}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{4}})\ne \varnothing$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{1}})$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{4}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{4}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{4}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{4}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, $({\mathit{p}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }{({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Case 4$|\mathit{V}(\mathit{P})|=\mathbf{3}$.

Let ${\mathit{v}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}}\in \mathit{V}(\mathit{P})$. We have 3 friend points ${\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}$ and 7 points remained. As shown in Figure 7, denote $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})={\mathit{T}}_{\mathbf{1}}$, $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})={\mathit{T}}_{\mathbf{2}}$, $\mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})={\mathit{T}}_{\mathbf{3}}$.

Without loss of generality, we assume $|{\mathit{T}}_{\mathbf{3}}|\ge |{\mathit{T}}_{\mathbf{1}}|\ge |{\mathit{T}}_{\mathbf{2}}|$.

(1) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{7}$.

We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})))$.

(2) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{6}$.

Name the remaining one ${\mathit{r}}_{\mathbf{1}}$. If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})$ or ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$. If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$: and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$; and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(3) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{5}$.

Name the remaining two points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}$. Then we will discuss the region $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$, as shown in Figure 8.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})=\varnothing$. (If $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{2}})=\varnothing$, by the similar reason our conclusion is also right.) Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$.

If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}})$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$: and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}})$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$, we have ${({\mathit{r}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{2}})\ne \varnothing$. Then we suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$ has one point say ${\mathit{r}}_{\mathbf{1}}$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{2}})$ has one point say ${\mathit{r}}_{\mathbf{2}}$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$.

(4) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{4}$.

Name the remaining three points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}$. Then we will discuss the region $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$, as shown in Figure 9.

(a)

Assume ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$. We have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(b)

Assume two of ${\mathit{r}}_{\mathit{i}},\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3}$, say ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$. Suppose ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$: we have a 4-hole from $\{{\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}},{\mathit{v}}_{\mathbf{3}}\}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 3-hole from the remaining points. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{3}}$ and a 4-hole from the remaining points. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{4}}({\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}})$.

(c)

Assume one of ${\mathit{r}}_{\mathit{i}},\mathit{i}=\mathbf{1},\mathbf{2},\mathbf{3}$, say ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$.

Suppose $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})=\varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}})$.

Suppose $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})\ne \varnothing$. Let ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{2}},\mathit{\alpha }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}))$. Then we suppose ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$. If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})$: and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}})$; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{2}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$. If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})$: and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{2}},\mathit{\alpha }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(d)

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})=\varnothing$. By the same reason, we also assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$. Then we will discuss the region $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$, as shown in Figure 10.

(d1)

Suppose $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})=\varnothing$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}})$ within $({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})=\varnothing$: and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, let ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$ within $({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{4}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}))}_{\mathbf{5}}$ and a 3-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$.

(d2)

Suppose $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ has one of the ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}$, say ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. Let ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$.

If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$: and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$ when $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{4}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 3-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$.

If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(d3)

Suppose $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ has two of the points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}$, say ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, let ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{2}})$: and if ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}})$ when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{1}})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points when ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$; and if ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{4}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 3-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$, when $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$.

(d4)

Suppose $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ has all of the three points ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}})$, ${\mathit{r}}_{\mathbf{2}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$ or $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we always have a cutting line ${\mathit{L}}_{\mathbf{5}}$.

If $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$: and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{1}})$; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{r}}_{\mathbf{1}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}})$; and if ${\mathit{r}}_{\mathbf{3}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{4}}$, ${({\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 3-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}\mathit{\alpha }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points when $\mathit{\gamma }({\mathit{r}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\ne \varnothing$.

(5) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{3}$. Let ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}\in {\mathit{T}}_{\mathbf{3}}$.

(a)

$|{\mathit{T}}_{\mathbf{1}}|=\mathbf{3}$.

Let ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}}\in {\mathit{T}}_{\mathbf{1}}$. Name the remaining one point ${\mathit{r}}_{\mathbf{7}}$. Assume ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}})$, as shown in Figure 11.

Symmetrically, our conclusion is also right when ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}})$. Let ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{3}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(b)

$|{\mathit{T}}_{\mathbf{1}}|=\mathbf{2}$.

Let ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}}\in {\mathit{T}}_{\mathbf{1}}$. Name the remaining two points ${\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}$.

(b1)

$|{\mathit{T}}_{\mathbf{2}}|=\mathbf{2}$. Let ${\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in {\mathit{T}}_{\mathbf{2}}$.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})=\varnothing$. Let ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$. Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$. Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{5}},\mathit{\alpha }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{4}}^{{}^{\prime }}))$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})=\varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ has one of ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}}$. Let ${\mathit{r}}_{\mathbf{4}}\in \mathit{\alpha }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ has ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}}$. Let ${\mathit{r}}_{\mathbf{4}}\in \mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$, ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$. we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(b2)

$|{\mathit{T}}_{\mathbf{2}}|=\mathbf{1}$.

Let ${\mathit{r}}_{\mathbf{6}}\in {\mathit{T}}_{\mathbf{2}}$ and ${\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$, as shown in Figure 12.

Assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$. We have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$. Assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}})$. We have ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$.

(b3)

$|{\mathit{T}}_{\mathbf{2}}|=\mathbf{0}$.

Let ${\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. Then we will discuss the region $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$, as shown in Figure 13.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})=\varnothing$. Suppose $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$. We have ${({\mathit{p}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}}\mathit{\alpha }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }}))}_{\mathbf{5}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{3}}$ and a 4-hole from the remaining points. Suppose $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{7}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{7}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{1}}\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{7}},{\mathit{p}}_{\mathbf{3}})$ within $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}})=\varnothing$. We have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$ and ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$.

Assume $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})\ne \varnothing$. We may assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})$ and ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{7}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})=\varnothing$: and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})=\varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{4}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$ within $\mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$; and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{7}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$.

(c)

$|{\mathit{T}}_{\mathbf{1}}|=\mathbf{1}$. Let ${\mathit{r}}_{\mathbf{4}}\in {\mathit{T}}_{\mathbf{1}}$.

(c1)

$|{\mathit{T}}_{\mathbf{2}}|=\mathbf{1}$. Let ${\mathit{r}}_{\mathbf{5}}\in {\mathit{T}}_{\mathbf{2}}$ and ${\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$.

Firstly, consider ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$, then we will discuss the region $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$, as shown in Figure 14.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}},\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$. Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$. Let ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}},\mathit{\alpha }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$. Then we may assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$.

Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{v}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{r}}_{\mathbf{4}})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{r}}_{\mathbf{4}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{6}})$.

Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{5}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{5}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{5}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})=\varnothing$: and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points; and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }},{\mathit{r}}_{\mathbf{4}})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{4}}\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{2}})\cap \mathit{H}({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{2}})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 3-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{1}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Secondly, consider ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, then we will discuss the region $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$, as shown in Figure 15.

Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$. We have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$, ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$. Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$. We have ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{4}})$. Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$. Then we may assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\ne \varnothing$, we have ${({\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{4}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$ and ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$ where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})=\varnothing$: and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{4}})$, we have ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{4}})$; and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{r}}_{\mathbf{5}},{\mathit{p}}_{\mathbf{2}})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$, we have ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}};{\mathit{r}}_{\mathbf{7}})$; and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{5}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{4}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{4}})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$: and if ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})$, we have ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{7}})$; and if ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{7}};{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(c2)

$|{\mathit{T}}_{\mathbf{2}}|=\mathbf{0}$.

Denote ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{3}}\in {\mathit{T}}_{\mathbf{3}}$, ${\mathit{r}}_{\mathbf{4}}\in {\mathit{T}}_{\mathbf{2}}$, ${\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. Let ${\mathit{r}}_{\mathbf{5}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$ within $({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})\ne \varnothing$, we have ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{5}};\mathit{\alpha }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$. Then we assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{3}})=\varnothing$, and we will discuss the region $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$, as hown in Figure 16.

Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{5}}{\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{5}},{\mathit{p}}_{\mathbf{3}}))}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$. Let ${\mathit{p}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$. Suppose ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}}\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$. Suppose ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$.

Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$. Without loss of generality, we suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}})$, ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$.

Firstly, we may assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{2}})$. Suppose ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{7}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$. We have ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},{\mathit{r}}_{\mathbf{6}})$. Suppose ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{r}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}})\cap \mathit{H}({\mathit{r}}_{\mathbf{5}};{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}})$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}})$. Suppose ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{6}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{6}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{2}};{\mathit{r}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{5}})$, we have ${({\mathit{v}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{4}}$ and ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{5}}$ where ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{2}}^{{}^{\prime }})$.

Secondly, we have may assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{v}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{4}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(d)

$|{\mathit{T}}_{\mathbf{1}}|=\mathbf{0}$. $|{\mathit{T}}_{\mathbf{2}}|=\mathbf{0}$.

Let ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. And ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$, ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$, ${\mathit{r}}_{\mathbf{5}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{4}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have ${({\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{4}}\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }}))}_{\mathbf{5}}$ and a 4-hole from the remaining points. Assume ${\mathit{r}}_{\mathbf{5}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{5}};\mathit{\alpha }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }}))$. Then we will discuss the region $\mathit{\gamma }({\mathit{v}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{4}})$, as shown in Figure 17.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})=\varnothing$. We have ${({\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{5}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points where ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$.

Assume $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{4}})=\varnothing$. Let ${\mathit{r}}_{\mathbf{6}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{4}})$. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$. We have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$. We have ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{4}}$ and ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{5}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$. We have ${({\mathit{v}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{4}}$ and ${({\mathit{r}}_{\mathbf{6}}{\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{7}})}_{\mathbf{5}}$. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{5}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})$. We have ${({\mathit{v}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. Suppose ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{3}}^{{}^{\prime }})$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{3}},{\mathit{r}}_{\mathbf{6}})$.

Assume $\mathit{\gamma }({\mathit{v}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})\ne \varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{4}})\ne \varnothing$. Without loss of generality, assume ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\cap ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$, ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{4}}^{{}^{\prime }})$.

Suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{6}},\mathit{\alpha }({\mathit{r}}_{\mathbf{6}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$.

Suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{4}},{\mathit{p}}_{\mathbf{3}})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{4}})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{1}}^{{}^{\prime }})\cap \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

Suppose ${\mathit{r}}_{\mathbf{6}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{5}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}})\cap \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{r}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{1}})$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{4}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{6}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{5}}$, ${({\mathit{p}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{5}})}_{\mathbf{4}}$ and ${({\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{3}})}_{\mathbf{3}}$. If ${\mathit{r}}_{\mathbf{7}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{6}};{\mathit{r}}_{\mathbf{5}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$, we have ${({\mathit{v}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}}{\mathit{p}}_{\mathbf{2}})}_{\mathbf{3}}$, ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{5}}{\mathit{r}}_{\mathbf{7}}{\mathit{r}}_{\mathbf{6}})}_{\mathbf{5}}$ and a 4-hole from the remaining points.

(6) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{2}$.

Let ${\mathit{r}}_{\mathbf{1}},{\mathit{r}}_{\mathbf{2}}\in {\mathit{T}}_{\mathbf{3}}$ and ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{1}}^{{}^{\prime }})$. Assume ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$. We have ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{4}}$ and the remaining 9 points are in $\mathit{H}(\overline{{\mathit{v}}_{\mathbf{3}}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$, as shown in Figure 18.

By the discussion of Part One, we know our conclusion is right. Assume ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{v}}_{\mathbf{2}})$. We have ${({\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{2}}{\mathit{v}}_{\mathbf{2}})}_{\mathbf{4}}$. By the discussion of Part One, we know our conclusion is also right. Assume ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }},{\mathit{p}}_{\mathbf{2}})$. We have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{p}}_{\mathbf{2}},\mathit{\alpha }({\mathit{p}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{1}}))$.

(7) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{1}$.

Let ${\mathit{r}}_{\mathbf{1}}\in {\mathit{T}}_{\mathbf{3}}$, ${\mathit{r}}_{\mathbf{2}}\in {\mathit{T}}_{\mathbf{1}}$, ${\mathit{r}}_{\mathbf{3}}\in {\mathit{T}}_{\mathbf{2}}$ and ${\mathit{r}}_{\mathbf{4}},{\mathit{r}}_{\mathbf{5}},{\mathit{r}}_{\mathbf{6}},{\mathit{r}}_{\mathbf{7}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. Let ${\mathit{r}}_{\mathbf{4}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$ within $({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$.

Assume ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{1}},{\mathit{v}}_{\mathbf{1}})$, as shown in Figure 19.

If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{2}},\mathit{\alpha }({\mathit{r}}_{\mathbf{2}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}))$. If ${\mathit{r}}_{\mathbf{2}}\in \mathit{\gamma }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}})$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{v}}_{\mathbf{1}},\mathit{\alpha }({\mathit{v}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{1}}))$. Assume ${\mathit{r}}_{\mathbf{4}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{3}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{1}})$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}},\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }}))$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{4}};\mathit{\alpha }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }}))$. If $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}}^{{}^{\prime }})=\varnothing$ and $\mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})=\varnothing$: and if ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{2}},{\mathit{v}}_{\mathbf{3}})$, we have ${({\mathit{r}}_{\mathbf{4}}{\mathit{p}}_{\mathbf{3}}{\mathit{v}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}})}_{\mathbf{4}}$; and if ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{r}}_{\mathbf{4}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$, we have ${({\mathit{p}}_{\mathbf{2}}{\mathit{r}}_{\mathbf{4}}{\mathit{r}}_{\mathbf{1}}{\mathit{v}}_{\mathbf{3}})}_{\mathbf{4}}$. Then the remaining 9 points are all in $\mathit{H}(\overline{{\mathit{v}}_{\mathbf{3}}};{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$. By the discussion of Part One, our conclusion is right.

(8) $|{\mathit{T}}_{\mathbf{3}}|=\mathbf{0}$.

Then $|{\mathit{T}}_{\mathbf{2}}|=\mathbf{0}$, $|{\mathit{T}}_{\mathbf{1}}|=\mathbf{0}$ and ${\mathit{r}}_{\mathit{i}}\in ({\mathit{p}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{2}}{\mathit{p}}_{\mathbf{3}})$ for $\mathit{i}=\mathbf{1},\dots ,\mathbf{7}$. Let ${\mathit{r}}_{\mathbf{1}}=\mathit{\alpha }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{p}}_{\mathbf{2}})$.

If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$, as shown in Figure 20.

We have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}})}_{\mathbf{4}}$ and the remaining 9 points are all in $\mathit{H}(\overline{{\mathit{p}}_{\mathbf{3}}};{\mathit{p}}_{\mathbf{1}}{\mathit{r}}_{\mathbf{1}})$. By the discussion of Part One, our conclusion is right. If ${\mathit{r}}_{\mathbf{1}}\in \mathit{\gamma }({\mathit{p}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{3}},{\mathit{v}}_{\mathbf{3}})$: and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})=\varnothing$, we have ${({\mathit{v}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}}{\mathit{p}}_{\mathbf{1}})}_{\mathbf{4}}$ and the remaining 9 points are all in $\mathit{H}(\overline{{\mathit{v}}_{\mathbf{1}}};{\mathit{p}}_{\mathbf{3}}{\mathit{r}}_{\mathbf{1}})$; and if $\mathit{\gamma }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }})\ne \varnothing$, we have a cutting line ${\mathit{L}}_{\mathbf{5}}({\mathit{r}}_{\mathbf{1}},\mathit{\alpha }({\mathit{r}}_{\mathbf{1}};{\mathit{p}}_{\mathbf{1}},{\mathit{p}}_{\mathbf{3}}^{{}^{\prime }}))$. ☐

4. Conclusions

In this paper, we discuss a classical discrete geometry problem. After detailed proof, conclusion shows that a general planar point set contains a 3-hole, a 4-hole and a 5-hole, with at least 13 points. As $30\le n(6)\le 463$ [16,21] and $n(7)$ does not exist, the proposed theorem will contribute to the theoretical research to some degree. Discrete geometry is a meaningful tool to study social networks. Therefore, our conclusion could be used to deal with some complex network problems. For example, under the environment of competition social structure, the structural holes which have been studied by many economists, are part of an important research branch of discrete geometry.