Cl ((Cl (KurExSet `)) `) = [.4,+infty.[ by Th18, BORSUK_5:55;