>>875
高木などに書いてあるYoungの定理
C^2までは必要ない(2階微分可能性だけでいい)が
あると証明が簡単になる