Analytic vectors and irreducible representations of nilpotent Lie groups and algebras

Let U be a unitary irreducible locally faithful representation of a nilpotent Lie group G, V the universal enveloping algebra of G, M a simple module on V with kernel ker dU, then there exists an automorphism of V keeping ker dU invariant such that, after transport of structure, M is isomorphic to a submodule of the space of analytic vectors for U. (Auth.)