Translation in Euclidean Space is Measurable Mapping

Theorem
Let $\mathcal B^n$ be the Borel $\sigma$-algebra on $\R^n$.

Let $x \in \R^n$, and denote with $\tau_x: \R^n \to \R^n$ translation by $x$.

Then $\tau_x$ is $\mathcal B \, / \, \mathcal B$-measurable.