theorem Th2:
  Cl([#] GX) = [#] GX
by PRE_TOPC:18;
