theorem :: FUNCT_8:33

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