theorem Th83: :: FUNCT_8:83

for B being symmetrical Subset of REAL st B c= dom cosec holds
cosec is_odd_on B