Invariance of Fock spaces under the action of the Heisenberg group

We show that there is only one non-trivial Hilbert space of entire functions that is invariant under the action of a certain unitary representation of the Heisenberg group.