TM | (A \/ B) is second-countable ;
hence for b₁ being Subset of TM st b₁ = A \/ B holds
b₁ is with_finite_small_inductive_dimension by Lm4; :: thesis: verum