theorem :: FUNCT_8:37

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