theorem Th19: :: RFUNCT_3:19

for D being non empty set holds Sum (<*> (PFuncs (D,REAL))) = ([#] D) --> 0