すなわち、0(あるいは1)を含む任意の開集合は、(0, 1)と共通部分を持つような0(あるいは1)に関するある開区間を含むものであり、したがって正の "μ"-測度を持つ。