ここでformula_12は任意のルベーグ可測集合である。