まあ、今のはケアレスミスなんで大して得るとこはないが、
それでもあれから反省して >>779 の証明にたどりつくことが
出来たかもしれない。
つまり f(x + y) の積分だけでは y ∈ E と言えないから
f(x + y)f(y) の積分を考えるという風に。