theorem
  F c= G & G is closed implies F is closed;
