theorem Th42: :: POLYDIFF:42

for n being Nat
for r being Element of F_Real holds FPower (r,n) is differentiable Function of REAL,REAL