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 1208arXiv:1208.0346.0346