Category:Continuous Image of Compact Space is Compact