6.32 三重向量积