Cl ((Cl KurExSet) `) = ].-infty,2.] by Th11, BORSUK_5:64;