theorem Th22:
  f is_hpartial_differentiable`21_in u iff
  pdiff1(f,2) is_partial_differentiable_in u,1
by PDIFF_4:13;
