命題
X をコンパクト空間、 Y を局所コンパクト空間とする。
射影 p: X×Y → Y は固有である。

証明
P を１点からなる空間とする
f: X → P は固有である。
>>475より、p = f×1: X×Y → P×Y = Y は固有である。
証明終