ちなみにスレ主は彼の主張するΩが(3)の仮定を満たす事は認めるそうです。