向量a的模不等于零是向量a不是零向量的