x y z=0 a^zy b^zy=c^xy, 求证abc=-1