>>796
ヘルダー使って証明するやつだな。もっと一般化されてたと思うが。同じ論文だったか定かじゃないが。
拡張の証明は、>>795の方法のままで出来ない？ヘルダー使わずに。