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