theorem Th27:
  f is_hpartial_differentiable`33_in u iff
  pdiff1(f,3) is_partial_differentiable_in u,3
by PDIFF_4:15;
