definition. Projection of the Curvature of a curve into the Normal vector to a surface. Note that this is an extrinsic notion of the surface, so it needs to be embedded

Euler's formula