  Is the topological group of all motions (including translations) of an
infinite-dimensional Hilbert space $H$ isomorphic to a subgroup of the unitary
group $U(H)$? This question was asked by Su Gao. We answer the question in the
affirmative.
