theorem :: FUNCT_8:39

for F being PartFunc of REAL,REAL st F is odd holds
F ^2 is even