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 Th42; :: thesis: verum