theorem :: FUNCT_8:41

for r being Real
for F being PartFunc of REAL,REAL st F is even holds
r + F is even