theorem Th53: :: POLYDIFF:53

for r being Element of F_Real holds Eval <%r%> = REAL --> r