两个非零向量的模相等是两个向量相等的__ 必要不充分条件