let E be set ; :: thesis: for A being Subset of (E ^omega) holds (A *) * = A *
let A be Subset of (E ^omega); :: thesis: (A *) * = A *
( (A *) * c= A * & A * c= (A *) * ) by Th43, Th60;
hence (A *) * = A * by XBOOLE_0:def 10; :: thesis: verum