If $A$ and $AB-BA$ commute, show that $AB-BA$ is nilpotent 
Possible Duplicate:
Linear Algebra,regarding commutator 


Let $A$ and $B$ be two $n\times n$-matrices over some field of characteristic $0$. If $A$ and $AB-BA$ commute, show that $AB-BA$ is nilpotent.

My brother asked me for help on this but I quite embarrassingly can't figure it out. I vaguely recall solving a similar problem in school, but with the added condition that $B$ also commutes with $AB-BA$. 
Any help would be appreciated.
 A: Hint: Notice $A$ is nilpotent iff $Tr(A^j) = 0$ for all $j >0$ (Proof?)
A: This is a result called Jacobson's Lemma, first proven in the paper "Rational Methods in the Theory of Lie Algebras" by Nathan Jacobson.
Let me essentially reproduce his very ingenious proof here.
First let us notice that the commutator satisfies properties very similar to a derivative. Fix some $M$ and consider $[M,\ A] = A'$ as an operator on $A$. Notice that 
$$(A+B)' = A' + B',\ \ (cA)' = cA'$$
for matrices $A,\ B$ and scalar $c$ so that the operator is linear. It also satisfies the product rule
$$(AB)' = MAB - ABM  = (MA - AM)B + A(MB - BM) = A'B + AB'$$
If $A$ and $A'$ commute, then we recover the power rule in the form of
$$(A^k)' = kA^{k-1}A'$$
to see this, we proceed by induction with the base case already covered. Then
$$(A^{k+1})' = A'A^k + A(A^k)' = A'A^k + A(kA^{k-1})A' = (k+1)A^{k}A'$$
As a consequence, if we have $p(A)$ for some polynomial $p$, then we have the identity
$$[p(A)]' = p'(A)A'$$
where $p'$ is the (ordinary) derivative of the polynomial $p$. Now take some annihilating polynomial of $A$ such that $p(A) = 0$. Then consider repeatedly "differentiating" the polynomial
$$[p(A)]' = p'(A)A' = 0$$
$$[p(A)]'' = [p'(A)A']' = p''(A)A'A' + p'(A)A'' = 0$$
Now notice that $A'A = AA'$ will imply $A''A = AA''$ so let us post multiply by $A'$ to have
$$p''(A)(A')^3 + p'(A)A'A'' = p''(A)(A')^3 = 0$$
If we carry on in this fashion, we will find that
$$[p(A)]^{(k)} = p^{(k)}(A)(A')^{2k-1} = 0$$
where the superscript $(k)$ indicates the $k$th derivative. In particular, if $p$ is $n$th degree, then
$$p^{(n)}(A)(A')^{2n-1} = n!(A')^{2n-1} = 0$$
which shows that $A'$ is nilpotent.
