Category:Set of Points for which Measurable Function is Real-Valued is Measurable