a叉乘b叉乘c证明