B を R^m のコンパクト部分集合とする。
x ∈ R^n とする。

{x} × B は R^{m+n} のコンパクト部分集合であることを示せ。