theorem :: FUNCT_8:34

for F being PartFunc of REAL,REAL st F is even holds
- F is even