A theorem stating that the curvature of a surface curve equals the curvature of the normal section through the tangent to the curve divided by the cosine of the angle between the plane of this normal section and the osculating plane of the curve.