  We address a linearity problem for differentiable vectors in representations
of infinite-dimensional Lie groups on locally convex spaces, which is similar
to the linearity problem for the directional derivatives of functions.
