theorem
  M c= union (F|M) implies M c= union F
proof
  assume
A1: M c= union(F|M);
  union(F|M) c= union F by Th34;
  hence thesis by A1;
end;
