let A be Subset of T; :: thesis: ( A is empty implies A is scattered )
assume A is empty ; :: thesis: A is scattered
then A = {} T ;
hence A is scattered by Th45; :: thesis: verum