b*x*y*z + a*x*y*z + a*b*y*z + a*b*x*z + a*b*x*y - a*b*x*y*z = 0