ベクトルの恒等式を導き確かめる

任意次元のクロス積とドット積を組み合せたものを含む式を簡約化する．

有名な三次元恒等式：
あまり有名ではない三次元恒等式：
2つの四次元恒等式：