theorem Th38: :: HFDIFF_1:38

for n being Element of NAT
for Z being open Subset of REAL holds #Z n is_differentiable_on n,Z