theorem :: FUNCT_8:79

for A being symmetrical Subset of REAL holds sin ^2 is_even_on A