theorem Th32:
for m,n be non zero Nat, f be PartFunc of REAL m,REAL n st
  f is_partial_differentiable_on X,i holds X is Subset of REAL m
by XBOOLE_1:1;
