theorem
  for u0 being Element of REAL 3 holds f is_hpartial_differentiable`22_in u0
  implies SVF1(2,pdiff1(f,2),u0) is_continuous_in proj(2,3).u0
by Th23,PDIFF_4:32;
