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