(a)
(b)
Figure 3:
The proof of Theorem
16
.