
theorem
  ex Omega being non empty set st
    ex F1,F2,F3 being SigmaField of Omega st
    F1 c< F2 & F2 c< F3
proof
  Special_SigmaField1 c< Special_SigmaField2 by XX1;
  hence thesis by XX2;
end;
