theorem Th12: :: KURATO_1:12

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