The Baire category theorem