# Changes

===Verbal statement=== The product of a [[compact space]] with a [[paracompact space]] (given the [[product topology]]), is paracompact ===Statement with symbols=== Let $X$ be a [[compact space]] and $Y$ a [[paracompact space]]. Then $X \times Y$ , the Cartesian product endowed with the [[product topology]], is paracompact.