ボホナーの公式
ボホナー恒等式
Weitzenböck恒等式