theorem Th11:
  Kr is SubdivisionStr of Kr
 proof
  thus|.Kr.|c=|.Kr.|;
  thus thesis;
 end;
