theorem Th39: :: BORSUK_1:39

for X being non empty TopSpace holds TrivDecomp X is u.s.c._decomposition of X