******************* Some basic theorems about compact topological spaces