theorem Th8:
  A c= B iff A" c= B"
proof
  A"" = A & B"" = B;
  hence thesis by Lm1;
end;
