(2) ([25%]) Prove that if a regular surface in R3 contains a straight line, then the surface has non-positive Gauss curvature at all the points of this line.