Remove last cheats from type_e_closed lemma