let X be non empty TopSpace; :: thesis: for X0 being non empty SubSpace of X holds X0,X0 do_not_constitute_a_decomposition
let X0 be non empty SubSpace of X; :: thesis: X0,X0 do_not_constitute_a_decomposition
reconsider A0 = the carrier of X0 as Subset of X by TSEP_1:1;
hence X0,X0 do_not_constitute_a_decomposition ; :: thesis: verum