Theorem that every simple closed smooth curve in the plane has at least four points of locally extreme curvature