>>947
リンクありがとうございます。Allen Hatcher 先生の明らかだ、という主張は、私にもわかりません。
I × E から E への写像 G で, G(1, x) ∈ E|A なるものはすぐに見つかりますが、
G(1, a) = a が任意の a ∈ A に対して成り立つかどうかが問題ですね。