外積が定義出来るかどうかは次元によるんじゃなかったっけ？ https://hooktail.sub.jp/vectoranalysis/SevenDCrossProd/