“向量a的模等于0”是“a是0向量”的()条件