reconsider F = F as PartFunc of , ;
r (#) F is PartFunc of , ;
hence r (#) F is Element of PFuncs D,REAL by PARTFUN1:119; :: thesis: verum