let A be symmetrical Subset of ; :: thesis: |.cos .| is_even_on A
A is symmetrical Subset of by NUMBERS:11, XBOOLE_1:1;
hence |.cos .| is_even_on A by Th21, Th66; :: thesis: verum