theorem :: FUNCT_8:44

for r being Real
for F being PartFunc of REAL,REAL st F is even holds
r (#) F is even