定义空间两个非零向量的一种运算： ， 则关于空间向量上述运算的以下结论中恒成立的有（   ）