# Tag Info

The problem is that "normal ordering" is not defined on operators but on "symbols". Within the normal ordering $::$ all symbols commute and hence the second part of your proof is not valid. See the following Physics.SE question and its answers: How exactly is "normal-ordering an operator" defined?