theorem :: FUNCT_8:35

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