1: \begin{definition}
2: The corner $(\alpha^-,\gamma^+)$ is
3: {\bf ambiguous}
4: if there are intervals
5: $(x,x')$ and $(y,y')$ output by Theorem \ref{sing-fibers}
6: such that
7: $(x,x')$,
8: isolating a root $\xi$
9: of $\tilde P(X,\gamma^+)$,
10: contains
11: $\alpha^-$ and
12: $(y,y')$,
13: isolating a root $\eta$
14: of $\tilde P(\alpha^-,Y)$, contains
15: $\gamma^+$. We omit similar definitions for the
16: three
17: corners $(\alpha^-,\gamma^-)$,
18: $(\alpha^+,\gamma^-)$, $(\alpha^+,\gamma^+) $.
19:
20: Similarly the midpoint $(\alpha,\gamma^+)$ is
21: {\bf ambiguous}
22: if there are intervals
23: $(x,x')$ and $(y,y')$ output by Theorem \ref{sing-fibers}
24: sachet that
25: $(x,x')$,
26: isolating a root $\xi$,
27: of $\tilde P(X,\gamma^+)$
28: contains
29: $\alpha$ and
30: $(y,y')$,
31: isolating a root $\eta$
32: of $\tilde P(\alpha,Y)$, contains
33: $\gamma^+$ .
34: We omit a
35: similar definition for the
36: other midpoint $(\alpha,\gamma^-)$.
37: \end{definition}
38: