theorem Th65: :: FUNCT_8:65

for A being symmetrical Subset of REAL holds sin is_odd_on A