theorem
  the carrier of lattice G = Subgroups G;
