a T is Finite for ℵ 1 -Categorical T