>>575

B がコンパクトで B と {x} × B が位相同型だから, {x} × B もコンパクト,
という証明じゃなダメなの？