theorem Th66: :: FUNCT_8:66

for A being symmetrical Subset of REAL holds cos is_even_on A