 Let ("X", ||·||) be an infinite-dimensional, separable Banach space.Then the only locally finite and translation-invariant Borel measure "μ" on "X" is the trivial measure, with "μ"("A") = 0 for every measurable set "A".Equivalently, every translation-invariant measure that is not identically zero assigns infinite measure to all open subsets of "X".