theorem Th5:
  for A be Subset of Kr st A is simplex-like holds conv @A c= |.Kr.|
 by Def3;
