theorem Th11: :: KURATO_1:11

(Cl KurExSet) ` = ].-infty,1.[ \/ ].1,2.[ by Th10, BORSUK_5:63;