In the above figure, let be the intersection of and and specify that . Then
A beautiful related theorem due to H. Stengel can be stated as follows. In the above figure, let lie on the side and lie on the side . Now let intersect the line at a point , and construct points , , , and so that . Then