theorem Th22: :: FUNCT_8:22

for A being symmetrical Subset of COMPLEX
for F, G being PartFunc of REAL,REAL st F is_odd_on A & G is_odd_on A holds
F (#) G is_even_on A