theorem Th81: :: FUNCT_8:81

for B being symmetrical Subset of REAL st B c= dom sec holds
sec is_even_on B