for A being set holds
( A in COM S,M iff ex B being set st
( B in S & ex C being thin of M st A = B \/ C ) ) by Def4;
hence ( COM S,M is sigma-additive & COM S,M is compl-closed & not COM S,M is empty ) by Th21; :: thesis: verum