reserve x,A,B,X,X9,Y,Y9,Z,V for set;

theorem
  X c= Y & Z c= V implies X \ V c= Y \ Z
proof
  assume X c= Y & Z c= V;
  then X \ V c= Y \ V & Y \ V c= Y \ Z by Th33,Th34;
  hence thesis;
end;
