Yes, he must have proved his own Theorem otherwise it would not have been adopted by mathematicians across the globe. I'm sure you could test out the theorem: check whether c2 really does equal b2 +...
The Baire Category Theorem is, in my opinion, one of the most incredible, influential, and important results from any field of mathematics, let alone topology. It is known as an existence theorem...