[passer-by]

Hint (2)
ใน case nonzero ลองพิสูจน์ให้ได้ก่อนว่า ไม่เกิดเหตุการณ์ $x,y,z,w \geq 3 $

แสดงว่า ต้องมีบางค่าน้อยกว่าหรือเท่ากับ 2 แล้วค่อยมาแบ่ง case ย่อยอีกครั้ง