Cho A là một vành, C là tâm của nó, B là vành ma trận Mn(A), Δ là nhóm con cộng tính của A sinh bởi các phần tử αβ−βα với α∈A, β∈A, và D là nhóm con cộng tính của B sinh bởi các ma trận XY−YX với X∈B, Y∈B; Δ và D là các C-môđun. Với mọi ma trận X=(ξij)∈B, đặt θ(X) là phần tử ∑i=1nξˉij của A/Δ, trong đó, với mọi α∈A, αˉ ký hiệu lớp của α modulo Δ. Hãy chứng minh rằng θ là một đồng cấu toàn ánh từ B lên A/Δ, có hạt nhân bằng D, do đó B/D đẳng cấu với A/Δ như một C-môđun. (Chú ý rằng D chứa các ma trận αEij và các ma trận α(Eii−Ejj) với α∈A và i=j.)