theorem Th11:
  f is_hpartial_differentiable`21_in z iff pdiff1(f,2)
  is_partial_differentiable_in z,1
by PDIFF_2:9;
