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