>>303
略証
A、Bコンパクトとする
F(t)=∫χ_A(x)χ_(B+t)(x)dxは非負連続関数
∫F(t)dt=|A||B|>0なので、F(t0)>0となるt0がある
t0の近傍UがU⊂A+B