だからスピン群を経由しない方法でも示せるはずだけど、和を包除原理や対称反対称分解使って計算するだけだと上手く示せない…
すごくモヤモヤする