theorem
  F c= G implies F"" c= G""
proof
  assume
A1: F c= G;
  let i;
  assume i in F"";
  then ex w st i = w" & w in F;
  hence thesis by A1;
end;
