let P be Subset of T; :: according to KURATO_1:def 7 :: thesis: ( P in Kurat14Set A implies Cl P in Kurat14Set A )
assume P in Kurat14Set A ; :: thesis: Cl P in Kurat14Set A
hence Cl P in Kurat14Set A by Th6; :: thesis: verum