Download 1. The Baire category theorem