X가 컴팩트고 Y가 가산컴팩트(every countable open cover has a finite subcover)이면 XxY가 가산컴팩트이다
이거 정의대로 그냥 보이면댐?