The diagonal length theorem is one of the important theorems in solid geometry. If you draw a vertical line and a diagonal line from a point outside the plane to the plane, their projective lengths are equal, and if the diagonal line is longer, their projective lengths will be longer.