Category:Constant Function is Measurable