Then L minus M would be context free and so would this guy, L minus L minus M. But we just proved that this expression is the same as L intersect M, thus context free languages would be closed under intersection but we know they're not So we know that they cannot be closed under intersection but we know they're not so we know that they cannot be closed under difference either. 