E \ A c= E by XBOOLE_1:36;
then E \ A in bool E by ZFMISC_1:def 1;
hence E \ A is Subset of E by Def1; :: thesis: verum