theorem Th26:
  for A1 be Subset of T1,A2 be Subset of T2 st A1,A2
  are_homeomorphic holds A1 is finite-ind iff A2 is finite-ind
proof
  let A1 be Subset of T1,A2 be Subset of T2;
  assume A1,A2 are_homeomorphic;
  then
A1: T1|A1,T2|A2 are_homeomorphic by METRIZTS:def 1;
  hereby
    assume A1 is finite-ind;
    then T2|A2 is finite-ind by A1,Lm9;
    hence A2 is finite-ind by Th18;
  end;
  assume A2 is finite-ind;
  then T1|A1 is finite-ind by A1,Lm9;
  hence thesis by Th18;
end;
