theorem
  for A be Subset of Tf holds ind A <= ind Tf by Th19;
