theorem :: FUNCT_8:73

for A being symmetrical Subset of REAL holds |.sin.| is_even_on A