The proposition that, given three families of mutually orthogonal surfaces, the line of intersection of any two surfaces of different families is a line of curvature for both the surfaces.