｛x1^2+x2^2+…+xn^2=0　& x1,x2,..,xn-1 real｝｝ <⇒ ｛x1=0,x2=0, …,xn=0｝

で条件がｎ個というべきだね　>>258