0=<z=<4-x-y
0=<y=<4-x
0=<x=<4