ビネ・コーシーの恒等式
すなわち、クロス積のスカラー四重積の公式