Figure 34:
The structure enclosed in dashed line is
. The set of nodes enclosed in dashed circle is
, and the set of nodes enclosed in solid line is
. By proving
is partially well-behaved on
, this lemma will be proved.