theorem :: FUNCT_8:36

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