theorem :: FUNCT_8:38

for F being PartFunc of REAL,REAL st F is even holds
|.F.| is even