1 - x - y ≦ z ≦ -x - 1
1 - x - y ≦ z ≦ -y - 1

1 - x - y ≦ z ≦ -x - 1
1 - x - y ≦ -x - 1
y ≧ 2

1 - x - y ≦ z ≦ -y - 1
1 - x - y ≦ -y - 1
x ≧ 2