take Polish-WFF-set (T,A) ; :: thesis: ( Polish-WFF-set (T,A) is -closed & Polish-WFF-set (T,A) is (A) )
thus ( Polish-WFF-set (T,A) is -closed & Polish-WFF-set (T,A) is (A) ) ; :: thesis: verum