theorem
  fC1 meets fC2
proof
  f.(the carrier of A) in fC1 & f.(the carrier of A) in fC2 by Th37;
  hence thesis by XBOOLE_0:3;
end;
