Figure 1: Blue + signs denote cases for ; black signs indicate cases for . Here, , and are from Theorem 4.