Since the Weyl algebra is a deformation of the polynomial ring in two variables, there is a short transparent proof using deformation theory, cf. M. Gerstenhaber and A. Giaquinto, On the cohomology of the Weyl algebra, the quantum plane, and the q-Weyl algebra, arXiv:1208.0346.
Murray Gerstenhaber
- 111
- 1
- 2