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