https://profilbaru.com/ja/トレース恒等式