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, U the universal enveloping algebra of G, M a simple module on U with kernel Ker dU, then there exists an automorphism of U keeping ker dU invariant such that, after transport of structure, M is isomorphic to a submodule of the space of analytic vectors for U.