Figure 4:
The lattice for the proof of Theorem
3.3
.