Rare set, Bair’s Category Theorem