若向量a的模为0,则a为零向量,