两个非零向量的模相等是两个非零向量相等的什么条件