[A]增加向量积的性质和向量积模的推论