K1004 :a^2 b^3 x^2 y-b^5 x^2 y-a^2 b c^2 x^2 y+b^3 c^2 x^2 y+a^5 x y^2-a^3 b^2 x y^2-a^3 c^2 x y^2+a b^2 c^2 x y^2+a^2 b^2 c x^2 z-a^2 c^3 x^2 z-b^2 c^3 x^2 z+c^5 x^2 z-a^2 b^2 c y^2 z+a^2 c^3 y^2 z+b^2 c^3 y^2 z-c^5 y^2 z-a^5 x z^2+a^3 b^2 x z^2+a^3 c^2 x z^2-a b^2 c^2 x z^2-a^2 b^3 y z^2+b^5 y z^2+a^2 b c^2 y z^2-b^3 c^2 y z^2= 0