
theorem Th27:
for X be set, S be SigmaField of X, M be sigma_Measure of S,
 A be thin of M holds A in COM(S,M)
proof
    let X be set, S be SigmaField of X, M be sigma_Measure of S,
    A be thin of M;
    reconsider B = {} as Element of S by MEASURE1:7;
    B \/ A in COM(S,M) by MEASURE3:def 3;
    hence A in COM(S,M);
end;
