Oh OK. The problem is that I didn’t realize a “proper subset” included the empty set! But you’re right, as stated the lemma isn’t right.
Do you agree all I need to do is add the word “non-empty” before “proper subset” in the statement of the lemma?
