The finite basis theorem of polyhedron plays an important part in the theoretical research and the algorithm design of optimization methods.

This leads us to another contribution of Leonhard Euler to graph theory, namely Euler's polyhedron theorem or simply Euler's formula.