theorem Th10:
  f is_hpartial_differentiable`12_in z iff pdiff1(f,1)
  is_partial_differentiable_in z,2
by PDIFF_2:10;
