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