It is an exercise for the student to check that under this hypothesis each point of has a local base of consisting of compact neighborhoods.