Description: All Borel subsets of the n-dimensional Real numbers are Lebesgue measurable. This is Proposition 115G (b) of Fremlin1 p. 32. See also Definition 111G (d) of Fremlin1 p. 13. (Contributed by Glauco Siliprandi, 3-Jan-2021)