Infinite Level Sets of an Extended Real-Valued Measurable Function Are Measurable