New lemma, nov_singleton.