I posted this problem some time ago, and it didn't elicit any feedback. So, in compliance with MHF Rules, I am now reposing the problem with some additional info. The result is bound to be long-winded; apologies.

Recall the topological notion of a nowhere dense set. There are a number of equivalent definitions of this, but I shall be using the following: "A set in is said to benowhere denseprovided that its complement contains a dense, open set." If a set in can be expressed as a union of countably many nowhere dense sets, it is said to be offirst (Baire) category,and if it cannot be so expressed, it is said to be ofsecond (Baire) category.The complement of a set of first category is often calledresidual.It is easy to show that, in any residual set is of second category.

I need to prove the following:

Let and be any two residual sets in For fixed real numbers and , the sets and are both residual in ; that is, they are both complements of sets of first category.

I can see how this is true intuitively, but I have never been able to find a rigorous proof. Any guidance anyone can provide would be of great help.