theorem :: FUNCT_8:40

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