\Vert x\Vert=0\Leftrightarrow x=0