theorem
  for u0 being Element of REAL 3 holds f is_hpartial_differentiable`13_in u0
  implies SVF1(3,pdiff1(f,1),u0) is_continuous_in proj(3,3).u0
by Th21,PDIFF_4:33;
