theorem Th7: :: TSEP_2:7

for X being non empty 1-sorted
for A being Subset of X holds A,A do_not_constitute_a_decomposition