The argument is that any, the intersection of any two languages L and M, regardless of whether they're regular context free or not context free, is the difference between L and L-M. That is, suppose X is into L too second M. Okay, than X is surely. 