Le pdf de ThM55 se trouve dans le message 18.
Pour l'exercice en question voici ce que dit mon corrigé : on prend a et b tel que [a,b]=xId. On peut supposer, quitte à diviser a ou b par x, non nul, que x=1. On a alors par une récurrence simple, [a^n, b]=na^{n-1}, donc ce qui apporte une contradiction.
-----