Meusnier's theorem
Meusnier's theorem states that the normal curvature of a surface in a tangent direction equals the curvature of any curve on the surface with that tangent, multiplied by the cosine of the angle between the curve's principal normal and the surface normal.