theorem
  for L holds the carrier of StoneLatt(L) = StoneS(L);
