theorem Th14: :: MFOLD_0:14

for M being non empty compact locally_euclidean TopSpace
for C being Subset of M st C is a_component holds
( C is open & ex n being Nat st M | C is non empty b₃ -locally_euclidean TopSpace )