n次行列値関数 A(t)、B(t) が、dA(t)/dt = A(t)B(t)-B(t)A(t) をみたすとき、
tr(A^k) はtに依らない定数であることを示せ。ただしkは自然数とする。