theorem Th55:
  for C being Chain of d,G holds C` = C + Omega(G)
proof
  let C be Chain of d,G;
  C /\ cells(d,G) = C by XBOOLE_1:28;
  hence thesis by XBOOLE_1:100;
end;
