For , expand the commutator and commute one annihilation operator past one creation operator:
Hence the oscillator bilinear commutator is
Since
we obtain
Every therefore acts within a fixed energy eigenspace.