theorem Th44:
  card A in M implies A in M
proof
  card M = M;
  hence thesis by Th43;
end;
