>>302
シュタインハウスの定理
測度正の可測集合A、Bに対しA+B はある閉区間を含む。