Problem 1464 (difficulty: 2/10)
Prove that the composition of Borel-measurable functions is Borel-measurable.