
theorem Th34:
for X be set, S be SigmaField of X, M be sigma_Measure of S
 holds {} is thin of M
proof
    let X be set, S be SigmaField of X, M be sigma_Measure of S;
    set E0 = {};
A1: E0 in S by MEASURE1:7;
    M.E0 = 0 by VALUED_0:def 19;
    hence {} is thin of M by A1,MEASURE3:def 2;
end;
